SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 y/dD4 ]/ HOL-Proofs-Lambda:threads=6elapsed=110.834cpu=140.584gc=5.656factor=1.277zXZִF! ]ŗXf1-q恈ܗ4ޤ9ks}JspSm[aYa+gi>6I}X`8U7 dmQg,0>Uhz]Mp,7.Qng6+Pm1MBuTbl򮏆H.;)M1o{ty[Hb?;ZBr%gVboɂA@E7a/%@4r-6 MF'n/ԡ.c(K^_Er7N?/'Lҩ OCa襃i?6@ɻOb}+Ur !7DgYZ7zXZִF! iZ]ŗXiɟ11bu)]>_ws[Ɋ brTON [6QqD"8׌"7 /ަ8{%=v% Tuu9=*AW*"PtO HЖrtO%iF, >*Sl`΋ BUțF_?dͷwPղ7k#zCYݷH.YzzrPI?TcRh58+ZMxTQ5&6!Lgu9LdrS?@ӊ^a.}%]) Qu a$Y-t)n6HUZPV!'7kUz'*R}°Zp#,"lzSU5Lv>\.hW|og{oYE"#WPczpBKr,WLY G7mFaSЬ=9) ;n`?[Wx`穖h]OkRot.8Q]9%D-hzDx +⮫ہb2-d XImR\* dqCDf1*1~bv ۀ9 )$-Uۭ1iBĵdA] bC|} H`e͢@ꘘ B;a#wW-O 70 WN|[KA C3zxf`V腣A` jtدeWuУaMN|r崞x=C*7n|ej, H<:1m{.I2l-~2R*2ȟ#l/L@8_n2_O"V9y EtQO,@_x=גjM`Q*5/(X)<Ѿ<a[sT=]F'Ry:hLrR;͗ B{(<U⠊Y6=!@ .DS!9ћ6:Bfĥ1S=r 磗P'bP'Z hhOzmTX{̈V0T}&n6Vp}=mBYgX`!ا^d.-;ܒ"2ȏ{Nk3c93$q^!CmPfӼAO3pEIn*m] X#Iv̜"|PҦcr^w,*q 7gT&/Ta= ^$3"g&4Ū'Arm`%Ka;Fg$uQ FU`ɔANM!ƐJ R*'@)E)HG`8Bum?m%- 'meD608ҽZ-C.`#-ryiݤ hNdDPXNMo'" VjDVѯ4{;tj!=kɈ!*8gWi+U էDϣbO~&5 <Ӝc=WXW9pᆻ gdM[n Bty>ɉT{;:'4uup}tmVTimܙC{.N b ́-.%cTh x0$3"<,s~dyO_@Zy/4-/^!5jwJ́{o1BE@֚ct)bl3HhImB͵\]pC655:ݳS[rW 60mOZʷ S7t oGjR )_p}-əv\(L4"$9t^6=>m5WyɨʳM[&k'azgc .\~YH?> ,В es. C|/-hpM-]M+QbB82L4%!t躒-`SU7JkzRhSx#v ^s(,~e$Yq :&s\: 6ߪWq[ }KlɄR['aa]4?i߅9Soo 9/Bf<->yg?aX#ys&\I.8D\8A(%+74xOK렼5l^Iiחq4#g+r.U.5􋀟l;/+#`OE hwK_-7͕eg9|6^^fW =u.*eOfPƪ%_]o~[j¬,yxpR.m6Lzn6:T4uB1Vk5p=˪Kg,LipX&M){06?e5G0 `e1em!B.:4]aB+GS nF}LC|fȟY::7 ;)O[OU5>LhE -dJ)z8L'dOx6|+?@ij,ͯ@$TL]H0K%%Ak!ձ!w RDΐ={4o۰C(=eGu6J~6=W+CCPSC /~ynA}rL٩SpLc@>_Y_`ߋVV\Tjл ܳ ҷGTvAx\T] #sHDS.~qQSWuT)O6}$*㯚m2 F\OyyZ&E,?'m-|{P`)6/ $v ] dQYh4qU$ϴFMqdy/Cg>eݞT򋝹cvwIj."/PMDЏshvR37ZcϲS3bj@|\SP]к"1gRjiO`-U,vnc K}h}l`= Ic (@vc*=KD`<.lS6u'y Zr\ >3`ƣauV=o+ϗoO[G|v K%kxE]s0MU>Pa5/|Wh~nδ$ce:gYZ43438222d6801f534cec95d14853ad87b85b2edb7dac346481afdceab62c8081cb4f36756224c974 007e1e1b105794a80b5c87126445bef2549d3520