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   ] Category2:threads=4elapsed=11.708cpu=40.904gc=2.060factor=3.497zXZִF! ]ŗXf1-q恉 :NCG 8vۗ#Y1 h  PrJB3~FVGTMAXF14]RiM\Pn.o ~"ե"ǿ#`)M+$9e=whs=3/)MR'8v^u@iz!oSH;WvG ;ˤ!ޏA=3B&VȊs78nPw=(;-t "DvsSZ l)B;"0f"$~\ K`P$ķ^KQZ]qۇEq7F܅ ÈW/hrH (~*vXs=Wuɚ[0FX&6pu'hEMȡm^#RYaoߢuoiY2~h/ay=N(,4ϩx!.˰9d9NboC:i&TgYZ7zXZִF! ]ŗXiɟ1qnAcP꺣3TAa߉#СE<) k5`]xΑnwƧq$(iP3I@ũ;Pk]?8Zf=<_ۅdq*A/2Sn n&˘Jb2kRxYcٷ:6gN7̚E@j  `f]V2o%P[Ѝ]*LMs1ˌFJDrC[yrzs:QHgYZ7zXZִF! RD]ŗXi%B4+0OnkY.T#Q 5ְ&w?E8Hw, !6 p"[c_.s`8Yf3T-&9[1PfØC:7,/l#HjT۟gdxʱ9qTR~91Œ#ԳY~1w"F^qe)y" r@Ii &?< A6(6ES84'`~歱+tda~&ftn֧  ]Wӱs@E*<>jpX sZ^ib9x怓mgE+Z]pm$R&\ ٮwbYϘ vk[TXt# B#AЦMlZo41n 4jUxoxfd݊sl PL蘩a?B GCYQOe若Hi >+v{ޏ֡W>,qVJfz12k0u3Zbn*AJ i3'˻E4'ASZ A" 7c$X%0Jϯt;aB(y$ vPVM`y1e3ޠ(dbP1v:UAwGSHb\iHK0hnqx&zmGHLV .\H Xc Gu}U'(n ྫj2:+R"6-G((Pv.2hpiX;d/]xץi eoF *tj/(1* gYZdb3c7706bb16b7aa3eb1be844cbbf1e256ae12c99cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 8dec91fb776e1454bcd259b128d2077a5afa959c   Category2