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 N-dT4 ]S HOL-SPARK-Manual:threads=8elapsed=3.373cpu=8.054gc=0.370factor=2.397zXZִF! k]ŗXf1-q恈׍ V*#4Zm`u*II Oō{8h=0U'|=ٲw`Z۴ Om uyk}BPM,&Ó0;mWYw&ïЛbvĐ26/ vF1dƪ@MgZ!о$O#J󫣒Q| piNp*S>^|܇ħW=KX/$OgM|4BQjHb9[b#-exH@1ښx*s^=͟(6DwP,ra (3 鷻($ 'qgYZ7zXZִF! ]ŗXiɟ1'HGv-8ufGZnC5hjr >gvP*pȒ26?^/k6Y#G4QpgJ49bvzL=idAn,}L4 ޿a\sE0[/M>?q>QvrP{uS0Jto 39jA唱gYZ7zXZִF! &]ŗXi%>t}njt,ņXU/qEI.\or`rN`]$;R\@*_vZn.F 60!CpQh |queH`&Ъ-:.G}7W9M#X~z?=Ubz#Ą#¬Tߵϔ-(u Yx 0pW"pHMz4Y:ȭTta%>SSڃS?~3N1G}=nW%OvM@Fw@A*.֦XXlb-ՕƆ m : _:KPN_e3ɫOD81jBY+A2)&2ib,C ux2HK, ^ncQgxjY ؜M)ϱgYZf264347012ac7b9197792ae6069268cc881b2614c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 63aec6a19b97ff5877d55a98daf343e2f0e7427c fcb57de7f9128be1aea624348e603a34c348258a - HOL-SPARK-Manual