SQLite format 3@ .0:  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 A ttT ] IOA:threads=6elapsed=7.128cpu=31.964gc=1.160factor=4.487zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;KQՐ =_f2% עN>뚐>޴ A3~) > *r u03w hd@m` }? ?%̎NN}j]zm2\*1h`ǥ{Fϴ#9qՅ)wЧ=tM.:~bYk G: lFޙY̓g6}ǥЀvG۝]z$?sʈ)dv26Ef@ѫjiQyaɂ;\`tv]/T.V/l"nԲ; ?fr!bx>^]5 ,_vS?n]v#9,PtLPS2}w$=~{xvISmgYZ7zXZִF! `q]ŗXiɟdN'LvH۹Z/>KX[:M #ͬ&~nngl~X4ƅY %J4pܗ\v53$O#'E_'y>sJVYޫ5OQ!"*=b uLw*MԀ>1ߤrX7^C̼l1XrQExM1wu-4I!8 3;/Ҷ#Ϥ=\y3mpkY],CJl҂>Ÿ1I9;lJgIvVUG蟌Cgܞ6tuC~; rhzǼiy[m EgYZ7zXZִF! )$]ŗXi%Gen푂c$`G+s6lo%;d 7v̛46Rϟv VqQe#/ʰ>{"5bc.ΜY{$cMs-geͮ&wOz-v+JUd6M[̚8?"˟uW=Sk@=ř {8@JK^nZ]db` ܘ,o#pK'a2Y9X~2+(ЌaϥD;ԩi֫@DNSK Z9V ̏<+Rʕ<}U oʝgTIϙNs۲HW̰>, x6_˪r s%(=?W$ka)Ih&Ƴ_0* Nk^'=u5u!'+~(0stfIKP\]ip (Kjm벎7ܰq'G ͙rKd&j.]#mK>ٺ4m` 3xS/> g( RH#8 N ~DHtH}0@y~J:);Ƶ/_(+vuPkر432!zt1F+In{"ap0K4o'֕%fE}~0G숱b . S6q!J0H<ø RbN#Oy؀u_銮7mP`VڹZ!K2*u