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   y#  < ]]HOL-Nominal:threads=6elapsed=6.423cpu=14.624gc=0.820factor=2.287zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ-r@a0:- *P|`59Ap-`9Zv\G} %O$To3T<H>_JO41c 0IJ o!'UBRQ oc"/GИLݹA}Ah%NUȊ (. 5Z֢xoQC1,} )Uo oױgYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ ̳~1C#\U,p WfA?`I'{J}YZ7zXZִF! #]ŗXi%GQoSX"iL?!A{@HtlAV;#WoumL, u\&ڐyROac#P$S[Sr\׸'t}\3cŜ,/0q?A",2)b^W4A|쨀@K[#:ϫP{˻Yt+O'X Sމ6Gz W*hU R }JN9>Cr|T jrHճ%]^үwX]Zwr\,nC/2\xxoښϒ0QN]*ޚsau?IUh`\VT:0y, Ѻ0̚ 땣&-i}Hfže*FPRhb1SP ;KhPfyD~U^GH\v+*<$T3DW1zA$ᔌA/:An=Cw@HejE񬯶F^ pJP$VyTp*|v ,qek;_!T9)] M^_^$J0=9a 4ϟT5\Φ^1 kI2"o OԂnV#RNb[AwBdy6mE7X)P=#11KEn3"sk 8j(ͭoZ)9H&,H5M.uBr*2`6Pp{ g} xDA6}orQؽjU>r`[_^J2Ms}YO{.enWef|