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 |d ] IOA:threads=6elapsed=7.017cpu=31.052gc=1.112factor=4.437zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K5k**਒!>80NE' CmPr[mT6٦*l`Uh6?SB-Ui v So8^iNp`ŲRNZueS hH ˎ0zGt.er~[x:E]k&H1BkkkmZ8{[+~3uVN2*i I6%Y+13_Ǭ,cx/_X^T A._S zCE9._fY*x "{?-D>Ʀ=`U\uP*r7D@]K޲O.Jb`s `C^vքJd>>b3f~Rך\=-lAhÑ:s͕ xIǸ ߢ Qg,rO}NܽXx )gYZ7zXZִF! )=]ŗXi%B"|$ Z7C =!2Yy_.6`!y'gؽ~Sh;FN &JK{ܙsU0@:c IBYHxYx=lq16s66tN,~< ɤ$aWPCB=܄!C!(+r֦jf~-XB]Яr$Lueh[OVa&7 ($W 4?Ay7 ahV /t.ksV7H*~6y@mZ~ { 1c4S򀈵I|v[^4' ֳORlSxqOS_ay0[Hb0䉾ĂfHc[sP|?ctLE@bظ؊R)_^ƿx F1q_m/Q^\pGD+u ʮ70xj``6G2&xK?(eξ(4h¶(b?*MVͺ!pFCPTo\amZI]R3ts%V#n47BQ#bȫ^N>_Uld>|TM)<s^ Z3r { _ЩKk9b'o{yv"ZNT71*s-}c*)PK֫%Mr0LTZ4L(уm $osV>> r<S̱gYZ63801b061a84a95978d35eeeac73509f43a003da65b7e02b1e5df641da48590b928c3fa43efd05fa 285f8199b18e375e140801c74b6101ca4dabdcb4 5ef9ee9533f8fdb8133bdb72668f306dc316b77b  IOA