SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ) D, ] IOA:threads=6elapsed=8.010cpu=34.740gc=1.492factor=4.347zXZִF! w]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K0L-lHoue\xW ' cb7\}: D/^^ej#Q` Uzgxi6e 7CݮEk/+T$c!CEAVrka<},{=lw%4nGRQ[|630u<ȰF/+YޞkAs@[+~RLq52D+E DmNKAz6!cKg0Ô*x4tgywݷaZv $JOߛ=F R9ʲJdzN/2)$-b}z2kRbye_ c,Jm9d$_Yx&^w@>3ynz%h5nc{ZmT_@FSpdgYZ7zXZִF! `]ŗXiɟdN'LvH۹$OdoIu:=Yaf] JjW}2 3[ʾ=)I Ʌq"^)k@ħe_~FVyպr"ӱyx$n~Sr<&ﶃBPZ;s_M`rCy n)xgYZ7zXZִF! (]ŗXi%@`a"lҮ$ɲz/bAmEY"ʃԫ&7ܧ|^hYf pw0Kbc?íNE@28@̯f8(3;WW&~U2'N/ވ EKõnq1Hb\q ^ljW1G! .։FN:wMS|J8 rD 49ITa9fGzȕ`2|ceH9X`ȠR9ւ_\_G!v#)3=q<\0էsC>?YPRP~Y#Ɓ _W5"\4w Ʒ͆Qgg&u%;Ns<$q ~>sJ^B,@ߺ;oozxWkow W\_ ,iKz苛{^uD- :@Z7K안E7P;6C{{; e|v&Izε;Xq~% ŕCPuJ$WlO:fFj8 oNbgvRCbF*cuϕFOF`&$9cOXكa[ع;;d9tO d |I7}⡺/u>{[ {gۮ[!]{:gQS.f.d=%3OȴWWpibgMR#z.sήg,DNI6=)ߔӳ}2ѥ&X֩\94]iŗ$7vM<QpñgYZ6f9a6c556183a78c2f2142fdca9e3e1066a9548f94b8e49d0043e944a495f19c32608cf5b0a49aab f8d5f0cd35173d4d81fed47d6fa807912b821f31 18ad2e9348759e39f43e6596ffaccb67fd661c04  IOA