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 || $t$ ] IOA:threads=6elapsed=7.239cpu=32.696gc=1.412factor=4.527zXZִF!  ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K ]}?|c + Iԕ⼗ml'vHiD_KBtUCvIyvղ =i˹mCS˟ 8ʮNn;/Q@-tГfyR|'L<=Fd^Cر{7Ռs8 &)b?(O(&1d.R }bA>SⲀʫn1` \u>T(vd;̱K9T\ ;[z5*=^~c9\eG*l*pK>{~c:{)>w"F=R a?%-k G`ӊf/lE *1X ~ɫhxl8`'鞍i/AW J 'Ri9fg"mŒ(1eYBX1Ic_gYZ7zXZִF! `r]ŗXiɟdN'LvH۹Vf+yט< h51/QA[rsi<=?*\T*z:Y2 ~1|[ٹD;ߕɨ avqn&(, 1l\~ @s$q1 ;'!Q5Qɤ $')H m~}f"TǢڍ+tK{`jZuoD,j~W50GV,jFd%>*~?j@mۯ72"u"ypMR5pHk|c)}"X`**!MB:i53ĜJ?`JټӗU%WFc \7 hCc,T]Plo%5O0DF$YSYIBafEʸǤk4Mok-_v$9}&>;& trd ~ЦvHb_Y㈠߯Ax?k&(  s0)$LmA55cQn5LUs@b|0VlSNFkihܲ@vTG䚕+9G3U<2+LaWļ82C|7$uM7Ω蒉 o\`^kr6M+G.K7$N/:bKդ3_m,/O)Mn6y#m;p1?dF*M$恠n7(j׋"XJYTm̾%vewrsI%}*a|HS_nP˱gYZa26eef402980ca95cfb7f00fad801bd599dfb459a3d176741bae82c9dc513b9f3c009dc5dcba212c 631fbaef9289fd3b1f302dd3ed834db22ed304c2 19bb84b91c08e181d9fd667cdecc57a14cbc37b9  IOA