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 f t | ]/]HOL-Word:threads=6elapsed=10.165cpu=52.388gc=2.328factor=5.157zXZִF! O3]ŗXf1-q恈eO/O4Eh?>R[GޮSb|^FޭLO1C!PcS(a!-BT>[ ]mq"ߍإ2!Ct/dcO.c9mƱ;ċLLH=fmh_:.P܄HZlQ0sF,6(:,@c]9}9{C5z$Xcj^;W9iEO0 A |eN|Q9YjYpx@,TOfk #k O^QK"eǼIfg2hiDfO蓐cAZ_u< `Kˎʗxt:Q\W+06pm4zˍ 0G~:"ĺlacf=FtJ)te$׌{ʆ Cⵇ"2ʔz,F?. >!-0єgYZ7zXZִF! ]ŗXiɟ1}?3DDCBCmlR _Gkiʟ4)z7[HpFazhg:U}dMe[wM&͎PEɲJ]ip̈́.ԋG1ssڦD:صêQWZxu 竍,1(d`̵I𴀰b[vq]E$O>ji) Ubp`uC5YeM:3B!p!|V$ "@B8C/Ɵy;5.""m<|svs[W~D$fH36Y\;,E-Zoc^Oۍ6C^ ņ2d(G/ϲgRB!B3|RnbVU$w}7·\%,}K719(z?#IH#$4K_iงy)V-gmRp >チ 2)S{ h$iʙ)PjNҘt,{1j-(D "eJupo=[kjnۺv̒EMλ^!]# /j 3B(@}Mu