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 #) | 4 ]/ Card_Multisets:threads=4elapsed=6.645cpu=18.476gc=0.592factor=2.787zXZִF! w]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jj}ߖ_Osd6Qi^bEU\k|I+ N("ki&e7TTp#ZP'ҝa Ar5=q0L|KQ[:vAߺmzGz yAimIjU.u@ ]/Tmێm_k՝Xi`E30 gYZ7zXZִF! }]ŗXiɟ1˦rYsxgp9f閷V5h//iM⸃lvF(e/I+?-r Qp~N- m+zU}cngYZ7zXZִF! 7]ŗXi%BoԛH5Tg^.nȅ*Z[~9Dߎ/HerOpՏ{~¦0Z4uL3.Ivz*jCbRHWPqVdђ+/V07"Mz >^)6)muLҴґv ?%kkx-(N:o>by0]-#Eo{5O/x mKӕ퍷צ27oV=L#(àcjƵzTa> ȸDHNq;誏UDkXY["7DvEOFz3X_5($ƚQ̈́n)z5Z1y"ծ6[W#=E-Б;ZY@|TҫЍM|_"گLfui奐4"%?B|r8vtsBzZY_r'FBtABF2TO@s o8uFx Iҭ aȗ4rpn69:ay|Jh@kMΑi3yq5Te<Ԯ :޴Ήo$#K8o~%U `ZI%FoSk1ImS/|)P=ϯWS/G65)f!VA^^5ҹ8-S t{;;ƢKmŏ {k`%D.< 5|~90姢$Xtl-^q,E՗s$&0 Y)L>"j-kTE8n |_bЀzK+6245Fɰ kGNAaworHF^w[_X0~O@%81+pz%\d, d<}=}tM