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 F5 < + SequentInvertibility:threads=2elapsed=62.954cpu=117.128gc=6.288factor=1.867zXZִF! 7>]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-I4:}WTF `z\Ih ,FvFd =ŭP64_eiq%PyHu箠J$ì'M8uu/zBz1 [&E ti^uue^a'_.B`̊[,TGd)U!CxJM \Շ{ \J0C݁B/ҲQ9BQB 5I SA_1c!Jc;ejS!IVj|gDj7 aCkf<<97>Ndgw"4W9)BKkȍ@j3y@%SI^*c7M t#FZ\Vvo@](a3:`5U~ß=G׺,F '3Ɖ1|(}ŻnB@l0iZ*r_%kWLFR_~ F[S f7%\X)m\gZZW: A95m9|9e @Pa h/6?1c%W&k-t=kVmz6ɕ)cu)8]ǝk^dU$ᔳ}'"bS.⺑ ZϞ^:$K5ϖxG:>QjEK^R#qԆmmv{ B*۱:0b6S)V泰곡~ r =#JQ׿EԀXVcNjs?7).D"e:T/RN[HB4)X[0*׷>,^0lqUSU:- 1Dj~SZ6 OCֺH ~kvf_5e|-?=yvW<]8)bZ*Z 79K/9&0NYЧKMaXKl8|iٯQDͤON4r@ sN0%נ#lnL#p .at$ }P(e)ZE.b]9qP{3z4-[)zi6!ڟ=W-5mIyU'b0|{؛F@8rv\cI`mxYP1opl*YsTgԝ,TBN@qQ='9qMa` CL-h+*Yp|X 2a2eIFQ0?yJN$wٕe{0 ‚|Vt|gà{l ˬysNz_7&5_p؂wv<ﱺΥċS{p7q~Et'.6  5 SequentInvertibilityvVYUW:aY>9ʒc)9LѦG}Bx7ēp"Kh ԣ&vb^. D܏*N\ }еrqyQD1xA^mO[}w5Az Nո]ߴ>2"(/?4k̴gy& ǒ޿'BCnDbsy k:MO?,yC\mpx ;%BMOxG%XHԁ]HR=mbJTEJ\:Q!̍U@[Md/͐Z+ };ULJY sxQ!'q.{J%uo`+M}阮B=3CLv'^6(ɛ~3flu˸{pAU,ص`~H‹!8{݇[T[J䩉*EH)6 Êk)u}%qm9`G_\կft0:z}U7)̟Z:HŒaHZ^8)5qb@NQW4&b_-StO+f\&rPٓ7 ,z!&bx_ǩmwJ3]-{;h` $|φb˄͚{L" 8cAD=ுc-9y LM k:Qqٛr)o ?}#Iwc^ G5nLapN~H2/Ljjf7myirdؘ`?vb;|v[ɾGm[k*U*]VX٧xwcCw٘Czy 7SBaM⡂NB/ҕ=O DYd2h^tCFM3W Ի1Sm=6k1CL?zG+ry JYR"]#H#@5=S? W]d5.pJgR훱446,a\Wz+CQP*SqAD /G g,ڄn0{~'QJ-Y/̄_ڨ>=y h?Y 9ND7) 3Hwwt 4wB!Ik>b( Lr)Q|%=)E>L.H|֣)mi<;Wز̐T>%n6 aŽD~t?r%Dr YT`@d=FE i//S.OQ.>꧌hu5 ͺT750ȭy|:" 1"}[7NcViu+`(Oc_3bRSIH_{aV%& QRz%N1x+33(NUy98ňClPlm߉ItK+tirm]tNŽ+yz{`Zd~,z$'.UsnF =5+ab>֏wn)?P5\qiNQgr)u T3Dž7DNm)*sS+̌3 6#ϹW\SL5$Bw~ Wi_UC/]N{9_ /KZ&czs(64_h\