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 z $T, ] ZF-UNITY:threads=6elapsed=5.864cpu=31.536gc=1.208factor=5.387zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%bIE5:PRirQ?s% *dppr`Vߍ`g-q5*RJ J5p+/A^%Q9_oO]x]7crV816xBct,S\ ~ ؇I ` >"NX&ZLnx2&Y(@I&Ա^0{gsD4!qJeVn+.ufǸ[ͬ$qc`h yV; ;t&䀫Z S=u˼" FM62+f>jQf#6!$XV-700ZċmMO)AfVdSFf>@$šcQFG01rUq_W$5;hES0^(q> ru3_ +^cM!\ĚEp,u)7lpC |ۢj$gB_ YEr0H"p9R9,!Ե`J2J ;ݦ<(Z,9l&oh#F#@p:X~5>EH&*vYna=7^rjT4 t0gYZ7zXZִF! !]ŗXi%LXM%XRѥ <O-&  4uZUy7P;^pl! zp' |$ҧYC.4o᣶>f%-Ey=EUؼ(DfdR|E10QZ1p!Y_@S Gپ)8bو5' M$շÀfݮKJ~zU$Z۟r/Qf8CSm=Gr`zd8>FI ,h%0F|X2gVG62jDpr.i_NXݛcq8^ `LglVq ӈD(L,2mbHϊ 3 z9tp}lհ/FVv塝{P+{EX'F?X3ucb_9nOS}ݎbQOi4(LX^:LTAGF?eyz@ڃ6]bLrCF !&t 2Vj%rLq.GM'l 030tr>|Dz){ӵ*PAJfg!G)fٴ]w8rzTǒ"f \n