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 yy+ d| ]/ Card_Partitions:threads=2elapsed=9.195cpu=17.768gc=0.444factor=1.937zXZִF! ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&V"C:1[;+BqttG DYY=Ne.1|i.7(%z`udĵ/5zYcb)1yYь2mBl+isNRaDY\_6DE2qGWo > W59]qa{i#e*#6i;RlYvh_cu#1ώ8$Zo Gl M=G۰4>pƮ5.-W%Koog6Yg ciܶJxo5.7a9M|s oLmM:=$[,hgm @F`p_ɴ%R|9IRfFT Uㄥ uKӉ0>gYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gMLs׃.QI;6d\JgR.P:SA)kN( I. ~]-Kc|N3-^12Ba`ck}@!P<: PMwnG BΚO 3FqdJ=:[mu2oR |}ScN.`YgYZ7zXZִF! <6]ŗXi%>gi7 BC"3J>G0]3E` n]$|)P>up~7QzC6?5caձ$#hQ5rxS- cyT+lmRLKsbMXӳro')[ۜ :g29d&Fh1C=Ģ]if!ƸXi^։C4eRsD&K8q[G4GQxNi9ԗ"so