SQLite format 3@  - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info n'  % Tree-Automata:threads=2elapsed=36.256cpu=66.428gc=3.020factor=1.837zXZִF! 5]ŗXf1-/6vR[lNq!P{csQl]ęW'ףhAYBDwbM / Hsn)+֞H\tT&}g&|m$4g1zH65-2f98NH;F9nJzRW\oر\šU*J>d ~A  Kl39O*6M89DNCąF@}\1A&bFdFF$[ vokIdx=N[ХB^5NoNVDKK,CfϞ0?6{~gi2w&Ho׮' t\d5N;V3(*7 h1>) 1w ,;vo,m;mF'>āogRB˥`o@"|P77W Ks4aHb 0d \ˌ +a|pF7s0:sok-ޯohZ~T"VS֛0t׌V2UwEUM6.P;"'ES-_Vcyn#B{Z87]8xw2ӟйSUh |wBAmGc @C 5.I=qKԨ-0޲B@:9K6ԝڳCΒUEG;t|'ƽ ·cLX_;#U侼82!>\˦u n`ڽzQ||Bܬk KӷPJk )4f*}$˱k$g:{<ս8n^wC?ߺLNV-b>7yg `[*?y n+jGiڝ:Rt4#f"T#S<݅o}.Aؾ>KO7Kih{":\\mUƟ*X"{B+p"؀^$ FW@" 7[w,Oeo(<(K<Ȃ}>0F?]?4H"{ k%!Ub퟉q<+I]pSH.*{;I1\[]#H@fa^FAP^!!Ͽ-:8-!!?\zl;2fIG{PK?!-U;M[Y8`R2Li/u RrmIZ 6@B5pQm#Wyj'iv! )zM(ꎖh%Mt`NYb~`43;`0GXdv+$'q2bœ$E OG<`brP0 n&|@ LLŤqOSvN?b*:4;e-Cu(PU/j%6S{g@a ;1ËO"k$X(K R+ اI@"S%qi/}EP71F2byYBlsk(=Jϭ9 _o. ?N 9F0M4m‡)¬ ZckCACn,UZ;Hc#w lE.jS\ |Ѿx1\]k3:3Xj T̻9Tg'?ۑ,T-8\&?t|<ʲJ+? ػzUdܡMMvK*^}a1FPBY`@-tsmո1[(gLIOm䏦_O Ԅw7pIç$͡%FESSY.TQ RɈ*(Ƣ@X /KK}e*C$j܉"D.9tuOWb_e~q3*(r"Q 3pIE}͋(»i;RV񊵁Mݒ[-Js=RC\$.+w *8Obc䎺р!BGFߺhҢ7'%2˘]JQhW} -d'vATg)RMbXXgg' JFC~$>1>v~z,='t cYƺd] 0-fU-iIXh|l>9kvprF0 ډ%~epeWјC-6+` JM L^ơڹрu4 bF"w䒨m X `$DfVzdZbFPZc0t|ʖ9K`P'ϕEѮvEv$OŁy7q--(1UTU6/ Ħ)/lJ01ݙVD=kv*XD5jB@Yý(>VRO5LshyA:$!֨/bRpp3h+^i/Jz%#'h.<Ϫl0>PA-gx[1\*lANe r utf<! &r0Tl#6`lg/t GsTJQQ<̒4J(ّa"i f! tLз.ȏ-ǣ__ɾ[j(и/F,w?>hԹ8D$eUƱgYZ7zXZִF! I{]ŗXi%:0'oNbnM3^ BӲi75.N9@~lq_ьvjy1A4ړg8SVFk_LY'nTH3\8:i'O!ʤp;u΍qD7W<ʝߖ ~l׆[;Ji\͇ԝ{?-z aԥ {Bh@)6H.0`fLp 1aqkXmQ e`s48#ʫU? !yIB[sUz+zxH?1 I4ɶjR4JNMG r4E]-?2FWŦ>~X=f2Ap߾Y@&r-~e0Rߦ N`rpsׄ1ʰ :\̒nx\'|@ntًOJD}^!Hރ :j#֐8P'H< *j'0{< Rن~]T&P{s>x V.X֪+/*͒u8y{awQم3Nn,Е쩶Ajka`w4XQZ)V!V|\ip\UO~In w;{ ܌Zѓroz (zԀ )wr[oﰜOd'84IѲ6'+PaB=+^uVa/;MZIV?=Wqj)Z¿HCQV a=WލdMQIǽUم z}1=eG}=Vuwx_,o@#"r4čj\Cp+;[@fI 2>aT%;%$Q,__ȩgM ?ch#NL '`8PT`P r[:}8}Fdij(ZE 9y-T%;(,DF`%[8yM+8F)r0辂Vtzend,C}PK=! ByW&B#ގuFBQr#9"odǛ#U"c!^R;ЪWP