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 %1 L\l ]]HereditarilyFinite:threads=4elapsed=10.959cpu=30.440gc=0.816factor=2.787zXZִF! A]ŗXf[&pC݆Q$P7dѷ~a  jnNnOȰ TDm;0HN 6=kr!Pwމ\H'?R;Fܐ՛X N+K&DHu:b#EQ=B$/{$'L]I;YT|~f sզzz,ܼ> &K1:gYZ7zXZִF! ]ŗXiɟ пPTR<6;? D{ޙpWH;%UDآ/<'IXh$8UeX9%BboVrۘF;(a4o,ao<)xnB`s{^?DIG #Lls)gYZ7zXZִF! S]ŗXi%Eb⬘IJSDָ p:  ||U#F+;yh4*֔ATz@{ hr\|e9?6.^xАDhy_Q֨?R됣x},fuK# cD} s1^۰xc ! ~So&vM2$5Ӆ@N?'~]Ÿ*!Ȗ(Tr՞FϻӺC.AcY/0NHeh?D(;f{M>YXS3<͞sz/XizCg+T*GU:n""ż'mOj>5fr/#' r&'MIJkP&ϕwu< By7[1-5a3 G+ ŘYlVϥ@>G<Ѽ/fAdeQjK -,J`G̰7Nѯ (!L%V0x2C{cgj} z Kћ攉D៮RdVvrQQC8榹{i}Pg^xlHge 8߭Dw`ɮnWtwyb"LHȼ\ @}Zr\H>3/sBØmovzy~ENRQLuUzJGQmSzA@gڟX ?+^Zh2"DZ $ɁpJ]~_ig'F] †êGi@f]RSL^.C.z0,Lt_i0=ۇ8 ~n5Q.ʃQ46@win2Eũ?Hs5'$3t-]4Y{lХ|i_4|2k0+4 Q֩3U^8qLN!C/{=a.>ʓA  OnQI_mY˔3SW_nMnAnB#@yxl|hqYa&dxשhϖ}eN!t"iirY@ݮX##WuمoʈK?#d`ᴊJ \EEwP $Fɛ30PF8-X^5% ISM.{ 埤nt_=dGtPJi^wPj-~'fUˠM_"$