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  Dm]0xn@f܄#i [Fi9 d,UwAY~鳱>ZcB#{+6\Б>(( K߽3,Ûk*.Kp&3=\YU%j~x/5V-  3ŷL>fcUٚ|ә;VmOG'˼ @PhJ'[8M9Q`6dS_n|h(` :TZ]L߉[ſa]`Lz|IW- Ot~_+AF+e܅ 3zNd? loSa$r/Dq Qn2tK봫5F69"gmK,Z6p`qӇɇ9S2]h( /q*7Y@$l{ړQUQ/Sn(u Sy6.Pk0e"`lP@(Wi,u:9೧> 9Ύ^@]J.:'!s'C!r>^)ax|Ƅ>]بϿy`[|t ]Wm/-ȿ$+zWIc E;,C.67\,cX_W: wc{nB3x#f8q܅\nlu O 1L =kߪ1|-}(Ѝ*)$Ĝ-VS{&ea0P GIMLuf'\^n9L5V#Fۖ ]\NV٧Z*mf0e\BeBf?N&bѱgYZ7zXZִF! HZ]ŗXi%IJ/R КK16gvf-2_ |+qdU3`ƞf7(kw)~z[Ɋ_ȦϹk)z 9d~H>$ISϳsOn <+/AZ 7 EqL Skն }&.Unyqwi*&:R|"r%a%) jB0 =[:ZU̸+?w WΎVɊyj9w@Szu_6c STcg8FE`HrϕA͂y有Aڠ/^H9? ZMk$Un9EwC`yhPNY/P`5qb?25Bǒ@ϭֶ6dsNzΧV)ZH'(}rNێH 'YԺ}GG*2ʝ L*5/Uf>_2]+'rnͥ0#~($f#*JQb?1A=cp3wBiK ~UɀQ_va~A1$:7F R"Ъm#j+-)J_ _ rܿQm4\>8jNk+;87:*bʇ2Qڋ7d