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 %%X) 4l ]/ BNF_Operations:threads=4elapsed=13.161cpu=47.708gc=9.156factor=3.637zXZִF! R]ŗXf1-q恈͐7ӺV 1̗e&$W$!>έhz+>뤡,[>u:^Hq4-4ː?lztflI~Ta2 ]2pc@JHh;e&?ĂC gsGR>]z+gQ~E3IU^/:+CkQw M*ZO 8zAgrg}K+C;=Ntm[V#d &)jϐ^v 9R _&ӅDIf0*bЎD{iP`Udޘ}F#fawFqC$~||`<ԝ3\LmUCg @ (4< ,zr gaD^҆OQOtoG|!^uRKҶ> SNڗJ|Wton< +3j툷-lș̦i?Vh4A nQeG|"A1,Y喙]04\Вri f4X0"l6ZZ_+Ңo\e{WS)Ÿ'N :t;c"U#aLT}҅)Eh9U'+B<ÅG 2R5nB xgYZ7zXZִF! b]ŗXi%Ba.?nt=5ϙR^M+N P~C愫HOƳyG9ӓy.n} ;4VtB ^6/l9]ds+Fpoz;(2 9I (7+1|G -^6}>e@^EAz=I7|3\d5lRѸ>DXǶfK $LL'G6 Ғ,еB0C_oLjTT0_]B8[8]ȷ%Qp1$,nߟ #E !fW%=C-蒜g}@ Z@ Xf=4=jDpB>"ňy$$[x/8NQ7mnx^hA8K#o9ox.ɧ!pI8Ӑ.2:r?i6i)=\Cux> Ngt;hio QG\s+8u~[luF 7d& Y.ȬJbhvyFSXF[*%}ӚVG_t s'>pF[ZQ)c: dzr^amWQ nRJ(_^a$L_Ol?/:1thֆֺ=!2$SV͍.wJSTYPQC.r/6G\Ω`VLo?dD8sφ"AJZMUOe^cI`4pVx7-I>\ I7  O#$f/fږ~i'ATyU B(!}#dVR e樯3d\g-,m2]ڥ;ݥt)Ri3n2/=2w#%1t{$fnR.8;($xU?`m=/lZ:`7ZށҤԢ8Ȃ#MnegIH Y9o?A>-2gSI>y}nv7L^aOX^E~L)` 8 \!.U{AVa d(-= 5;esUaG_5-ƞVןOs,n~Ӛ8Y×xd)Ar祖Do6U5[`fQ>v zQ-y(L-1mhҁo 5 EY%v5{ \ՈQkE[s-=GN2i>ј%bԠT "̒>FYfV0#i (*,i@VsQHȎ(|l