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  D9 td ]/ Locally-Nameless-Sigma:threads=4elapsed=25.969cpu=90.856gc=2.464factor=3.507zXZִF! )2]ŗXf[&!вIkʬ:zSzrƘB:~!o}Jwhvcm$~.c{0kݮת>Ɯ;ˆ|Aa )}l%Q078͏Ly>DF*` cEifUϱԂw7Ьd1cP ]*ȀO ׀Pͫ롕H$HsoN_0ϡd6).W{'B4]DBCd!Sw@-[؎(G#Pn83}Fyw)${u*0|+ҶU duE,PĎJ{va4w|5H ;S~ۋuo,gGmØ L Eb 9 Locally-Nameless-Sigma  sR*kro$gP~>w]0a~?^al# O,.}s<|/V[rƀ,)㠤j2U IsiT\ёBs~'k##Sg[J7uu9-䉚W7֌=JtF,]\5ȏݵH92{&i3]]E XnsRWiMtXݨ"J9 ̋~Bu3&oHut% Kms,C W ĤP^J]IڻRg~6q,N M~:IvO=nLFSK-uV ~#Q*)C%qݿ.A9D E(#[x V uer{9u`y#7R,H&-)pW¿oUÙ}cyĮbS(R-5̽qSaccb63o¨xIQ̩i߁3˱ʑ8x/T icӶ`Md8̏N>'uX՟az3e3guZ8xN8YDybA u)]O=8gSlݪ <z 5gXY'*ɍCʄ-Jm8uBR\bΊ.sj:9Óc, GSXO &=aXv/H{ϸ i8π5T):M4ؠ }7^LS^a'U4^zeY_e *HŇx邽b]-!/rKca'ρV;qV+؂ߙ:>)-_ySTKw`l 0757|,nK{p)AL։3xFWp mz,VVWkO8BT/\Sߺof"cVBX&[a`Nj-hRKhbb.WF2!ƻm7G@~J@GءoQ % d hq2ѭ@*{MC ~Ix^ըV%Z\_ ;4:zEasџ [ fR5ܘ'LPJ\9Z=>tݛK%q}˂,U0Dy$m: mNJPU\#sn^Wa쌚t2d>mqTSu#oh?Sdٻ |*UE%'paK4D-L<{l`1g'!ee Uά5pd񔀛Gz\>1&2Kt K?{4 +2$Hlg?Pjqjϟ`ϞF_e gi0?}^hќ<`;>m7o̮Ps5+M޳ *+$Vd)$HP5{]Mu̥)}B4Q* 8P]zQ^k I]'xO(qmt6<!_ő{&{w :e!巵xq*6`b>R[N pchi1P4`w|9" Kxi T׌y)Mh,SOAQcԾ')S9odD>0ҦB°ᾆfI;d%v(G=i#M7?GԬrHQXx5T~HZ:T J9lшCL30Bː802Zi;?Y-v@~/l{bС3\NIy_QmŌid(3 ]ԣaBixpU{_ħ}6OWI^g#Q|![t95ݫ`2i=[T,>(QBn{r[(xhP]"\bױ: `\p/1BV96y&B< Xs ,p4̍j=9 (P0ٙx7q#9Zv cU;%|Χf?59dx)3NnժSё*W$5 iހ=4jT6~FV`L,;]>־\\%Wg׷&AV1˜.xf'F/>h}$Va(ҮK|)0c 1wv3@I?7ǯEj:P֋^.f٩Z eAHIQ9 &gYZff63623534128cd93837835a7fa233c4ba061fba3853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0