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 F :(/zAey4k9Ŗ>:0fn.cStLYHׂ=vzyG[\WXPN:~P~cK.#&S*fk2D%90=R;3gYZ7zXZִF! j8]ŗXi%L>/}YHF}zF?SnʆU!Ֆ>F=8"MmƯE~+G9@#\}uVR eknEˌK czLgP{R=ļ~E"0`d$7 B$)""kH79I-E#ȴ {H,_Znɹa[>|r0q3.="Ef]i5^'y=vH혌wAs1t*S8l8>v=KK٬H+ntoC ~ƨµ` _Ciyq*̮,߸pZW-&d&}(A)FZo-y"fafe"5 @6KWWrh`L0AԞ muZc"GX!i_N۬ gsSL-a0BE4=i) fY#^1$m†Bwafe(ͽb2f9Ui9;aQ9!Ӎ'JRl]rwrra MCqS0߫ˎ*݅Aۉb ֻ砵+%zI$ĈcAm7n|,PJ#1({"ccSQK\.庢\%vSr/y ,KrI%$(^h bSI`7N T&IϨIīL=)L/uW腖f'!wmeá[LA;?ɡv&@Z4K'9sDmܰw ܕ dӾ|L Ⳍ16&NY!BYuy  aWP}R~t|ԺpB@7G\maSg 08V5{\u^ t@hfDwrn6,L\NA*f֋Ȧ_ļtR 031OS]4#4z5N1En's $8,oa#ҧM{dT% b.*DTǜ!+9fTlL^B]ޑSre9 7:%n#5ǂ_WWs^z'<;hOg*K)?b0"i| <JSR%Bs.v1otda>nDZH٬ȏmzjgS` ׋ilc΢3meXŃ`Veo'+VΌ1u e"` ,EvS;vPNպ/Zptߖi>-H9[}gYZ13ab2042548ac72f07507572fa943a43829f010fd3f90704504dab3f9fc94e3d143d1180eb260c4a7e86898479ba240e0bca3d31982df9c3711f2113  ZF