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 YY$) |\ ] Error_Function:threads=8elapsed=8.717cpu=37.841gc=1.841factor=4.347zXZִF! 6]ŗXf1-q恈͐7ӺV7VU ۷֙M54;D@RJtSzlXQdѶi K#A@$\땍۱ƎZ\y Ե7ìLt!yuMn^!d`)Iivb_ȭLr^et_7 )ט5>oxȩG~60h׿ǿ*z9C!3v tfv>m lc9CL &물s<ܯX:5nXaꏈnAFVcp'F|9z.vTX޼0vU4 KQ풚kav:><Β2=1`;2=_ň8hMR+W);*kj $K`W4G*?sR4Z)Ɓa||\fz$E! @0 ɼ1oo,FM'q>…GQ/ZF[y%6$xRg;5/aQK#aP Êozc_A"EtF!fE_.EaޱgYZ7zXZִF! ]ŗXiɟ1˦r!q=4!pƹ $7#tҘSGēFVU_yֱk[z K܏-6h$0k~Fme$l~sV؋63UM&%I|l!wVTPteǽHwq뜗ȥ{2(hA4xkcas }d (/@Kx00 z)}-Y 7n&tgYZ7zXZִF! =]ŗXi%>t}[L=`ϙp2[ TTl 9B˿荆(dK,oV?j;1GkKBg Iy |?CPZ^3lHѴ Y&i/R NWBMKuRht^e8%ZrSiEq|k2`R5͘#{ $OVlCƇ­|+j*0k*L6x !Bp#RQKn4,">fQLXw:ӌ?ϼ //;`D}}x\*+IԏQ:4J.3תnx}LRKIKFɧ\$S 7 iyNb KT+h17Pac  82`}|) AQr $QDt&RTVDb =q pPz6MmoaQ` z?c^PtMTO8SѠvZƈ@/ճ9oVND c pkyNӅ)HE_uB桻VwMW84w8F4 wJ۴H:ADt#eJB|uoGb)a |A~W[av ;IKP-}|O$2!w0xE&d!f0x6NB̀qv0d/(Rj\Sn3ϤJHiU]{ zjgYZ83478617388bd1bbc8224e8b37c9f9def59517c5c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 5f5d9af270ebe02ef506a6072735bafbbf70c6b7 ) Error_Function