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 G? |l  Program-Conflict-Analysis:threads=2elapsed=45.301cpu=85.700gc=2.644factor=1.897zXZִF! ]ŗXf1-/6vR[3 G-y?%9POHa: ~J S<'`+CU_foESČkPˀ/s%'^ٗt sC]CbB[l+C'ۚOTw#xYwe, @$Ə~7Wgk{NpYAm߼]2sIdi ߤ ]hc<%zL):'X>d+Pt *{ƆSkGL#b ;Z: K}Ӡ[ׂdI18{Vzݷj{\d"eKC-?/$祠ıh'>Nȼߥ5{]A[rm# ҋi{:rP-"B'X44+M!9V.X3фΌu!ʘ9 RG놕Y;g 嵺X76M}.w-L8",Ez!~Xj\s5ؤ tB`s1۵SqQ ,`ߵmrӎ{\mQG`TcӚ^˭f;muVX{B% Tn 9 +*f*X8p"뽔g+ B]j}_G'$]P]c,@$D^G(ׁ'Xr!ݲ l%u}Iaɉ4RgB%,/Ҕ'$Z],igވ>AjfA r_vĝPjĹ6 o'H辰im2o 9J ~kpGNI$zxFi,Yţ=?rcy4H*i2we{%6KŒR:c`v6T/u}6G9<&߄jgU]gMj ?I t2뗸NӭDzD+"ASAZ \\B#Y] ;tx4n˲\'y&(Qޑ5l2ل6G!vj1IAagbi}zj]=j@6gEߒPaOLfއAи/M͖xf5D&-yb)YnH7[=x^}-h &X\‘c@!E 92rEFT 0s.Ӈra-UVqaln+}_MTW?awygk]6A+=NP)wX=X] "uaAVZ܂YΉ`nb3Kt?sxv:BB/b\0`&DVv~>w*z1*PTd>K995x  W1\)& ۽RC,%uTx{Oox&W\G;S6#Tu?ʬÔG&@,ݬ5χ^$}{"sMCAS͑$·M]{B<]Z{uoXzؾ0Aݢ t TMUrPn5TcMʠkO-/$PNߛAx`aV>ѩd}5Ԩ7P7u i,edͪ=k=91n#p넗Ā/#b<tr鲵 g0wIYhgs8$(9eֳa ~p-~ƉOwh{r;<974j"uDIZ̟J?5ؔx b3m,KTHuo 8j73bGVIs) jJ+"?zp`ID`|¸ ˠor+Q]..NZ\R9uN~NOP@vpyeiXG߻f~wbEiLg"1R%\с2'sVneT9@|~)R%FD?pn@$|DPpϝ5052~?w0j}&(tڊj8D*L }<ebP0T~GɄuBwG⊥rSEl]S O{E.Ϻy j,$BjYH cv0Uq+Gr߳] {*+( %U Z\[ap2rDS08(T=2&#B[Oou:⛆ 5Qv \e2؟hRLv^)| xYd8XW¹0$`O>Q;{&~&䋬5̡/u\FVJ^uK"8κ1"p ʵAs,CeqxM F~t,2H$7pԕ G'GF2kȎk)}3x<oo hZevp b 2*8Ⱥm2)~cZĘ 4Any}'^Z`_2Blt1YBqpq ,Y |u<=[onbGԎ;013DQ0 Wtzߠ(_9T/D%1\9?!aIs탰f6 1"||zoE? Idǚ우)NBTڟ0 'XR & 4;/V%Z5% .kVKBXf[i z@ 28bZZu@GT\n#bW!&B/!߃e)#7MK?2e䓱^Օ!JSISaxl XswTKp/HHJةF_jyk3 NBzcDzM& XCS87+ݨ:Jy@PI1P%FYΡR&ׂ3rQoDKEF>1 ^b\#^x{.d6lfn%9[}Q8V戾h%f@g'2qG3f^; J :Dɖ ~43:Jx G2#LXZB?lfq׹hQTXEd!A\]UC'v* :jKś܌vy`OJ6?Q[ cd$?TT*CVEpRg%C%В`kh 57<\Yex p* `r Ԁ # otM}#҇(%]XY9HCӭo_47w|`<(g%(Ƴt@J/u 4X4A3=lլt7,E\G.IX~>A [/WOOu`O]=`x>]ZÖ== {ݢ}q~X]E[m:.]/|X"mu'5N(Jk!0LV`#ҹ,~,Ys ,f ց#8dh+Ʒ01Q6{x5ԼSaf02(:筠\횮7GW9ߥ3Z WYo ,6, v }}7zFE,:TA gf"oiD.tu m~O2gy i{ |x AmsYqB,0u,j96d}DqBg"~5dD!x{:\Uߋ\%W틨d ?6? 2Àg/.Uz34nBi"A 0a1XdK4<79p9]Yk.x"Hʀ[m0tS |fLal3i5cSZg>Q/3PG? oE>agzG_ Pk'2̜NA709L1y(wл*Iu͞q|6De"٥Of|AA0Ğ"@A6E -tScwwMdӶA:hH0f2|8.!Mjcȟ(:|¶Td6N;na_7%z4xՑm^QQǟ=*bgd3iRGJ2(VcQj0ʩ3';iqŚhqi"PFR'"ܙ4~>~S p|%1ΧE|O)R\>4N|@[C/dXfjuF"D+oq#7P"9n\,k\.:9'$ȒXwy7-pxl-6 -G/k7e 1И/V2u87-43 dg$ IwSs?遈VHMgk^e7G< tk6a$?I݆U?!mj3 nyt;8r6J*J}vYwMMP۝s o^Aڧg@4وCjqE6g8#É"$VC5t8S,L-Ѻn!/e0$fܟjj4C6\qZg>sdP8a‹>aoAC uNӨ,l<ƥY𞧠68!o8Ni=J6GP~)(wɡpp6Kss*@[b^ HBi;sdJ7)?+GcH &鏮QV.}бgYZ020bef6fdc9d9841987773162281fa8858e75716 31e4563de4b192be88e0135105e1bfcde94ef5e1 33e46e68cfa5f5ced44ff0dfb82522c6a302827e 41d367a2a17ef839488cd0e7b6f5e2456205baea 4daf0bd4692bb5817d7a2391e9d252fd173637f9 56228ccf170545e05b7684ece956ccc14be5d4a3 608f6e593f5561870ef3a8aea409a6a7134899ed 8175f1994d40efa61f26f0193bec7083fae8ed52 90f70e79f933c9d69e5eb9a80ea07033fb36d9e3 b58bec6271d278427bdee6aef2eed0a1d5fd6d8b b8b2144fdaf92601ee1a8822dd4ab807cf024a47 c3c4ece7675d8c208e751ca95be74f3a4d1e400f cf21bcca54322e516d177f2248f9d2cb6afa14ca d3fdfea6e6af8236274127ca9aea3b49f828163e8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 0421e1d9e7fe672cb0ddc4007aa564f9dff1312a