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 4+ L| ]/ Card_Partitions:threads=4elapsed=6.109cpu=22.164gc=0.484factor=3.637zXZִF! (]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&Wf: ӔNhig#Ey#+1کUDi]2,.j#=G`U32mjPaDb`CYZ:I _,G]:Q R $rP!gF}ZJ8n~~vQf[5}>m3-ْb)Ї#s%S<5T:q?Hw#>WdcTt8 SNrǠ{_Pgw0-9! czeG?sz?E,E32ֳWDٝ4PO'^>x_%߄D#sA5=Ckk_ }1c+q."!Q RٷJ]4A)~n+O$wD[ތz,B彍M}36r89ś[6`Kkǐ;.U-gYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gMLk("hW]T9Ԟ )4e 8SYjyp{%ylMn;ͯ۵A]%P'(3[edMIνm*5 X1 D:îzj諠Q3#X=BX"Rz)<"V !l>'蟳 sS49*3!iKщrPQ]gYZ7zXZִF! 7]ŗXi%GcřWշ~@Aka,^lF5>|z@9izFۃR:>S!^=Ղ@Ztx| m}[ H:vg&~T5~IFƖKf`2v JYUaEFU%hXLS\΋8;LEgt-d:z0z)%L|-lrsEnl?j8D2(USԵ_nL TQ\lV8v(\}AB3*⌅ CmjH^ "egɫ x>0\i21`fb @K,Jpغjr$ (QXFmѲ,tǥzMQXxqWA8xnЃ<{l܏J