SQLite format 3 @ .; 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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ,T ]/ FinFun:threads=4elapsed=6.393cpu=12.276gc=0.352factor=1.927zXZ ִF ! RA] ŗXf1-q恈͐7ӺV}"cXH?c;M ՀYxs!7wgJ&ؙ_d̖ú(p
>ykKڏ<Z\iX7uWcoNV <`
KrUؚI5);g?3pvSoTaڳmGL#1^IkmQUV<1$KHKxl*k?-@Ȳ%u0C7D
WIu (qDIm^k Q[ۥ
C.g YZ7zXZ ִF ! ] ŗXiɟ1˦r*6ѷuVBm+Cz#!5d@ҌMF\Zxa[Ea(8c@CzB/
({2ގW%_Ù,,)6n;!wK' X^\ ]ǘXo I7 Eu6g YZ7zXZ ִF ! :] ŗXi%I
o9p&+_ 8RJQc۔ݯrSH/>j'L٣YT4)MNcr]pdZ}3Җ#UɆc+z~68
^Ѷ`VWɓU2:32T\AɨѓdIoVlxo]s͏mLwqC6Nl9N9;M;1vl _6GIZ?ad]62Z
5%ctX-K'ڏTV(mjsA<"IIcq@dNjE'i}#i:,v=K݅р!"$jtﭙo,x{65[2FΪD{yg'dq![g];Db6