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 k 4 ]/ MiniML:threads=4elapsed=8.329cpu=16.916gc=0.528factor=2.037zXZִF! ]ŗXf[&M_4.F$ܙ:(a āšB~e |f9c d˪ftTnp+(H(!FdyڝO|9Q5,Keїte&[۱gYZ7zXZִF! B]ŗXi%Boށgs&Z,3P"nC]E *%lut ]mϸs Nuh4eңoi g+5y˗*;5#]/l;7fAw?ehק5$Cr.o`OI7F)"&D zc^f,܍] }.cz(ka:m#>/ZK$ISm*#+m`U/xt%FksTUH-:= ]wCCfOUÅWz`0k֖Ta-MAʦr#&Ԭo* 8{K\6,4$ ,Qז|7ֿmceaw\ [m9QmxQr4-9 )7hȷ_b~rND l,Ve{>^[3M,b@YDC` .ϝx`?ÃܰVT"TZI9̑c$)h{8 ) 9MSzµp2p`geT.o5q)YBwPg~*72Hb sd壅IQMa@u2cV%)^@JZo;3A Yw6KC܇W@mVVJݜQ$> 31aʧ7"àp~on si{+aN^.y!30*{@<OyWpB]f+1kt1Q1%etujdƿj»Cۘ ^8uK[yb0<|qP,F> i);iWݖM⺵bO , Aw!!#kC0S!A4вŧ4wG:zbB;DJU.=kg<6(!Z2BؔП5$0UVZ4QuՕ&:J'ޔ .gYZ364cd4e2a05c5329e7eaa5a96379a666814f480eddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022   MiniML