SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 @@= <4 ]/ TLA:threads=2elapsed=17.934cpu=34.264gc=1.096factor=1.917zXZִF! ]ŗXf1-/6vR[j K<ԏStpl`n?GS'Gʍ_x!co]ܷ6tA 8IMLh'$;VLyLՄyJiONk{;GN..h͇u0lp jjæPܨlZJ :|cdhD$ :8-M2K"@dkǓ'c^>g,&IBs'#s(M3@}bh?N*#A0 Jlڮ{cE 3Śaf~4HzV#HEV6M^0t@_iQ{%{DĊ/k Zb:AO ϟszߩ%a. TDmZz7ٕ4 ^JGKV)i# ^cIy/0(й-5$Kn^ 4x /E7V_@.X`عd ?:<@ "P#,#gYZ7zXZִF! ]ŗXiɟ&ݾʆ])03_F_]9 X +Dtx*6,D g6'fx@T'p90>a5hHk?1R|i[?EN/|z,㤥U~f*}T,1[6Yw4` =!9)^٘J#P1/T9uܐ|tR+ﱫ$O9gYZ7zXZִF! nB]ŗXi%;38]nϗH#8N։:·G+RgDk)E7UI'#I.ݺk8VVn越S&h p.|w!61Oz{^-X _Y`sMRW5F:G&D‘Avk{ ݧ͹-<޾$K46Ϥheͤa[s W;apc|&AL.D=fN\EGb6Q$u?RHp #$:4X PjwIQy`('ڃϩ3d9/PKq GvAOq? kqOdsA \_(H$@۵OQ^]k/M3N'7%"`ofڢ\a9Ծ BPUgd T4*Nim_?d. {׎ca3 A}(@~%1"ڷ5L50mID2=O\?~zfX`CJww*I>dCq$|n.\K~3T^1MⒼ' i(^#V0Tb(k\Ocjǩx-XYMۆN-M_b0E=*X0h=p#͒3Sϊ /X$FrIsB56b7fEYrq 7hz_Ks~Ţ{ǟVn+ Mn,84>8Z|+R:C?2ekBAs釥WUU!p8SrGHQOTJo251x~v 4II'w_ .o8cz&o X?SޛPj}dd4]ZK_HW$QQ%M$[^N%슲zS_:oPH;<]%)<ԔqB0#q6k9spGHfggZU~OhpQq^x5 dGToJ_Xw7Xzh7pX1Qg,"ʣvvЋHkar~3ק*Q"?;Ӥ#@5ktpj ~+kwRvoϤ3ɡ݊|js iso6h:[aNeG0~H($;\X7(?_9B-[*vj(D!.x zLbהa{ #wqrHv3 ".JTUC0 F.ec1U ѳ]R$lL BgYZ181adbf30464ebb9c86a226f80d016c3447730fd665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee  TLA