SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 N+  ] Lambda_Free_EPO:threads=4elapsed=21.561cpu=75.340gc=2.072factor=3.497zXZִF! -]ŗXf1-q恈<-¡$johkX2I)Zf-@\֯)sܭDegcL +yC(ٚU+ hPkn#S0 ;Jwz ADӶ&##M S0@"m}J',kIwΨB+Bx#'Z"zD5]\VB6@M<=[2͊e)j~Mتc慬< ZliJ;& q(gyGf >IH!\Éx}_hk jLN&j\AXbĚ6Gcgxa)JFKZfsNF`LCQz 'ŭ:D:D\QY ~},yfUNGS s P6MuwMf9 ʼnǿ4$A9CKU ﷫:Gq^ڳz=Pbyt$XQVLAGe {mu1a=9Byz '_LxLs׉ Ki4Og UH\S3>W2l`{63 l&@esGU2|'P~.1-R޲`Mzf~oY:7/αEJqsSLj(i&{ .HD1̙+\_D~3"٩]CnD[jH]CXs4 zo"N:ٙӥ<pf|K ޑH" "P8XB ?22#=[v|Zߘ(0%"hv:dt Xoαwl6˘;B=u~Vɼ(0TO[{sCjoIk [N5&gYZ7zXZִF! ]ŗXiɟ1?ߟt;9HK?.>e7"w=Pݭ_a۾0 Mȭ%rEiQ\*M}qMٮByD(VBe10u8)7EF4M;\xMfǎօ?`OoNyGlyYlk23?CTe/bgN M`>yqFb"]= R.Ld?)m gYZ7zXZִF! {]ŗXi%B4Ʋw˂XMĭM+s {N 3HcF) ƣV8"ce$td͝u_M΋'M`vl ܓ$>CFeOiS|G.5ȥ_Y`ũGw9t׻-]J﫤R٢ojpA531!:PiCAMD^ƓT]K)2[ǧfZR " Swb˖y5I71€9O3^BKsHp8ܴH0zO.YQPvkQ TՏrJ{&Vۇ İm#/RR!I.C7BKܺ`˯;)}_Fا  zoKsǁr(Ȼ8μGUA_S"DsU7l^ܪE\}ܺiN1#WW .?Nuf!r523V6NJǍ-BdXSwv^"es7?p~A;`KKj-h8,@L,8rQsj+'c9˥l?ߌә1Ky& kѴc?]َήεʎ]ѼBQe?`qwƶv{]M%eL16ۿ[6u!{Q- >."n?̧MvPv8M5_6,ӜCe zUw#/Mcg/:ٴhe{=^)0 wQ4F ˑXc=\@=zfFȭ9 Ai rDNz "&d" jo@g3Dƒ(ht-EQ!{Lax7'K ,;:<1fFn [v/[ l Ybد;?ҏd /yso`S1ym"!rxC8 PU t)TlqJύԍF*ABnC_gq%v;dJձ90a\bxyCIC7$5OcIXț;UFÅMίC4TlQE#q] R<8V~pB)hn_4E\#F Uɶo2$bn\N"LnG 9]P1rl R 1 XɠΒ mXC܁z3t];bO(jĮg} 6ߨ L4–N;U\kMa4yɯւgǫ柤Ս7UVn5L%r&mO֒'}45i>AL7mY]$(f~Ab>Şp0,#)3$ g{xIk*-M]5]`bk#wTzQˑ9lsX:Rn)!1y BSgu7D޸:dj3Jgi(ENЮz{d&"`\]j݅3{xQ*9}b+J