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]7indexsqlite_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 WI u (qDIm^kQ[ۥ C.gYZ7zXZִF!  ]ŗXiɟ1˦r*6ѷuVBm+Cz#!5d@ҌMF\Zxa[Ea(8c@CzB/ ({2ގW%_Ù,,)6n;!wK' X^\ ]ǘXoI7Eu6gYZ7zXZִF! :]ŗXi%I o9p&+_ 8RJQc۔ݯrSH/>j'L ٣YT4)MNcr]pdZ}3Җ#UɆc+z~68 ^Ѷ`VWɓU2:32T\AɨѓdIoVlxo]s͏mLwq C6Nl9N9;M;1꫔vl _6GIZ?ad]62Z 5%ctX-K'ڏTV(mjsA<"IIcq@dNjE'i}#i:,v=K݅р!"$jtﭙo,x{65[2FΪD{yg'dq![g];Db6@#=P`X3@$vqaP_*;GK?qmk:*64I&o' Y4pŒEm>juҎnU!_:_mJy뷌<R.1@Ϡ ]qԥ tfvigYZe637b79dbd191fa897af9464d11bb52175118fb05a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22   FinFun