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 B d\T ]]]ZF:threads=6elapsed=12.042cpu=43.772gc=2.532factor=3.647zXZִF! i]ŗXf1-) enȈA"tr-j. ZbNVHSw<MeI°lל& /nS7f RYKKY?Wm:1aY\;m5˒0V5 փ P[?ƏW`X67}"w~MnxR[r$fK JzN>S&Av[X`}g{LV1'( [ i(!dn|bR  Py./7>SձhƽzOL#]ŗXi%Bɣ%Q˻|@E8wJT'x[a*g<$&?p{fmwt~p?E|݆y̨ϓ)rYDM4}g`eWfn"$Hr)G`WD~}NQ8kF2W&`Y\E^̯ Z{*(gb?hY-_ǤG-E ~Eë[|/X3Z:N06+.N~骶Ku.2*I=nfoxɪؠgBxzCH{ ԢXm:qzMtm3ߋ0#~:Gn"VBbC5)4ڏ)/X9[+^Q!cY{0M A\K{3E&](H7$2YQEcMuKv*4q1hA=r|qgڬBk3SLZR}j6Wbr HJiUt8Cq3MgxOi1Dp%)k1&p52( ×%?.T5}>[08GJA1فyM]s o3v UDy:re)N7F% owsΐH8ⰵZɕ "Nij?+~m]1ofB/sgēS4r\pnJ=% (@)H͋^Iz@׷Ow;:'jNu CrkI/MT[/4쁋!,`Q;pD+ʜXs졳0N-ы7`)`rPJ\"4@y@/ yjK~I9Dž3#ocx6ޕp,2-T gFYD' * gܼJ&9ܓJCA O2K}4vwA7&3I%CyWeKPB?Dđzz2ђoQ?q2-uujyK\4$I _3a>D3/Ҿ:46AT Q9 PAEw,CZ b~*t+ pA$rR9t!3B:Pn >eS.I!Z ܤR ÐTgYZb36dc4199637dc4511d3fcd3a684861ec7733e60a8cc758d6ab7fd0d9728cbbe893e534f8f965816828b1be275ff0e979d79a617d6af5099e773fc71  ZF