SQLite format 3@ . YYQ77Atableisabelle_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, "errors" 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 gg5T ]]Amortized_Complexity:threads=2elapsed=87.149cpu=154.616gc=7.844factor=1.777zXZִF! q ]ŗXf1-q恈%kV^M[-dwPt#`Nf QHQǙQ@Εyhk*s6S=Afc!})c=/02wљ# $Vo_헷tH5dM'1]6/ww1N[BjꄝB]ɒ=܇+)+F<\ўg9\n~^-RW mglcGr(U?\j`u$ϒǧ5Ls;'Lki[:.h+ى|CK1f5(wbDvw穳h áds' ///w4X~pgr'oL^gHs7% fz( eZΜ*-GmR!plL~7H p>9_Y4$KL~ZhߥP ~aYc8,P%#s6X +'xX;ּ3 :% ~+JOmo2,Ъ#9nn/p92#V> o#zD:Litz J1"~fZU8g忢J7 "͜=k8; tjZ S\ǐNz8rJ2Ɂm2gP2M>0^gڒ8ZQp|M:\i]TC]ai؞>LH{mI28C9GzVCivt'AU3W!HKs cŖ/QfiYڻX?# 2P+ޢ(sJJrϱHPlΖK@\CEGTSfB^i"JVW>,ցvq ]\)<gZEᒎD \ ܈dib˨LEDv=q7@g#;Mue|6J)bhZ23/ <{"f'[ @.ی>U|>)%sZN7FHR34v@@(爮ٵ%~Ƴt~8( J`k{MT>蛷W{]oh^ƕ_hZFY^!G0=/-f;+rY;B$te GDȥ1e6hdiNi{O'}NMZ-'ɯo4.V[+3pkzaÄ~./b.GoU%P_{J[dկAs=ZM.TaG.6ڎohZe A'1>nRќkcNtHTHx4iU8:*~o+,꧴ʺN[2c@"v!xK`vn7u9 Eu9(6 w6'@@Tjz?ҽJaM>'¬룢"X8Bs聚[>˓a\[׿.z}-zW肱I!,,o&B] E.Tmۅ8%QK qtHK=)Hކ/DdycV,p? 6|Aq%\J4M_;nRE]ᨓc)P3.a:[$ZPV?gvc$:zRU{Ce OV VP*8I>۾;p$! p5{J+ RS#1dL;RE`[>_}`wyVyٝҏ\ )"jc˱'ե|wM^+<0½M&H+Ip+ڷL[ lqq9X}'8I)q:K9^ma+,YpzL9˂bbbց8&qH-i>LtdAKdQzátem΍D-r"B@{6 1$F&A.g*Hh/{jYFxga~c"ZzJڵa{ųyS>dEm--o8e)#AK?HݥX{8DN1Ez32﫱-!%~:)yr4$h: +tm߳|PeK&nȌj2 H:Meْ}!8ץwK9 b\n4r&x`oAx =W#Bh]In|N k>qdA>qYG*(q ŀGtS H)].ue^ PH#z.>2:1askqO'[jcN9@<٧oQN b8WëYi%åwջܸv+TzKxL?"4ye[ZjV3b *".@rU Ur P.ԅKVdDx9(o4ãc1U4Fܩu][W Aw71HqgwP֒3R P[MU:X <^ Y6C6 PfJTE0ۂ,8+q[(ֵ3Wpj`b[۩Ug $|ǽLŪ0iÅhDf})਱lf>s?0<`gKp/)LRCFm+_SpZ PP9 7Awd~SUy׮t{3N3W^9Ia$@JmNyaX¢[LkC'$c4 ~ E]uqfWXCrHĎU RMoL>o vo|+&D3[qmiiEst 4{nx>Ꟑ{_="30 /%wArxH/5(Ai2- ]hDV^!ܷPr SjYLQA_,򗿏#ܿ)Gr p,};E5wi퇚݃Jss6lDw1/ԲRΊ,R*T :3IBè0AgP<CӯU|:7y[e\ɞDrl}0v"6G8L,Oؐ0 Zp<((7ec MG'+?k?-_(cImtT"99mmsՒ(֥8늿WCS,ҮvY0uf4KB#P')RK;E+47:?r,oÉ2XxvA{\S'Ƚc{ T [mR.ya41-%Wtƒfl/i_vB%\NԬICOh& Φ0Oc1%f?i[=o5/02so| T