SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 S Dd, ]/]Auto2_HOL:threads=4elapsed=23.058cpu=62.288gc=1.916factor=2.707zXZִF! 'Y]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jk;>^vz+!GE8:P1"׵Qi{TN}&I1oQqd{xψ|qqʰM, 7g|ҵeMS <|)0Y|6!~nv0S ftQHJQSO1郐ܘlo_'"+pENoFoW$ 6˙oG忂Q 0${ a2#@y"x?IR`WqU)ZgW8G 3X=u1   Auto2_HOL  @¡Yf#MW4{9,~ M. 5kTJtqpӧ Ƴ.g3f%Y4Ux5T#ih fv/d5g5,C!ה ;ŽK֐ͷ :aILr ek3ߥvA076Ȁ+HbEehEPY㊚r;;la$tcrICB}{%ج>eEk--GqLoe;OdmVg\䳜ȍ9o'5JX vT7O2#]NC#Tg g==3gdHeនN3c:.MqpZ_Oz[-%W9GhuYȿj-/{U%We$h>R%g }P2e7 AZt!"jQߙ#C(ZݽzdgVCDL8@?wLCW}(_ Mv \NS)Ü$eBQS?R %I۾67n,#yW8ƌ1(dՑԞl`Q~@3> [k[8M=kذ ~5f K<=B0j,ԕOfG(S} BLW#OUgYZ7zXZִF! ,]ŗXiɟ*#aZ\33XNsV2v2fTnteKG-处Pp^C3| )C8hwvnwɑ&ҕ{ Ki!$^ VC2{gWsvFfVbSM {W,5nHg0q]9gVL?AڙGi'σՕpfx'Dй[;M~,u8ᗯ~Ao@06u>kaPW UQHmPFn۞UqסIkgYZ7zXZִF! ]ŗXi%L /GdT[xaG \VD:Lr~Zd\PHP3[ֽy,چq<dnOī?kQrX :*)l6t]RpL8CcWM"AU$%:l2c㯜d4=nl?=GM(xd_Dh=8WD*$b8k7ο18YW4*В>$ToVKwtF+0^z,a6\h5` :˱&rʔej8`[{;(cn3o/! 꿤4p+qN1Rpn #\͆[ec%Z{JIeHz'Ҷ`Po0 `V2zxV?}IJٰ ɀW^P Q4/|V}ͬC8jօW"aľUөB/(+%So%F b j w6Ǧ 5mrUgXkDLB۵SH[zD\ciԙCR ҉_f`h}s0ܣK%e'mǣBuf\]-ww7޿Qo`EcjQvs;تWR,CsF"r%zAE_iN  S#xqu3 roh2MhX='_QkDr;[E_=-@wrz0"DzAb;11m"6HI;2odl$=dgA1c@ũ{xd8| -FKa87[8Ӯ]D\?X0qpai\ 㣲Z>&cb 8WIlHUIG#zt'3B0R/K,& \sAWi;O0hsM:nam)UsqZK„!S)I߈oi{YGfY(Jñ?Z! MϩEk7٣r/ooJyBMb!v=A C*Kk":pJ_[e $|:^C2w}~{s=/G|nP*3;\wUqRDG(1B8??ڲN qqG Ktm ˒qSϺOMJ [%VpT^eIYc2"lXnO#Ņaf\Zm(:FNm~,Ь -[,厨h[Er+8e=٩KmyH (0>gcI$O%&09<+sɃG~@ч+L]߷ywY9(wԈZW`fP(|'#U5)N g~y$mܫ>E:%R_>*r@Tʘ2_Uur#)WabNspn`1kс_:@ˊ+$$V|sJkOfbK\m&c#֏~/ۀ2bcp6Y*:lSA:{0Dy}>$A#=Hv%YE8 LLNɇ/A6j(3ԭoU/ h7HEf֩# PgYZ845b6c48e568dc49b576d531320e6191bb82e99ad3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f30ddef2a2b7cc47ffd92f875c32d222df25a1d73a