SQLite format 3@ .;  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 [[" t\$ ] HyperCTL:threads=4elapsed=8.762cpu=29.620gc=1.300factor=3.387zXZִF! ]ŗXf[&r>ܞSd+Ǯ5,/VJYO,$uoe;Ie!49uVkuAY+5gˋ ˌ)HI -/,O{6K~Җq#NM|SP%KR,!vG\F9R(&Yٓ˲C,'4ep,οmuRQcc`w뷅Z;HIM5ϭ!rғgf0Ѝ[=tUW3<5bK}rux; N'y,Yd<-&F?Rq+g ƛF__זpraZj;JWg^w$2^.9RFmL_'OGSӐ1%T1vW{+]pu#Q=fD1+]xo.oZq y,!Wl-6(JJĦxgYZ7zXZִF! ]ŗXiɟF@Am|{'h1DKWhFx{!W>d}2.)b߸e-6R`hUUHPڅNLdvAz@TPjI,vZT,0lwKBJ:Jl_ [c=/6"t]^_ bˋ3H{3C Tco;$C>w5 ݹQS{/Z>Ra$&(=Nj)y @jb*tiX}N@N2-dhJP31te} s'uY  = RZ':YPؚEjrǣ\4+],Ș8 #m&l/cOJ\zdOA~h\E-x4*@^mVɩ#MasRDy9fw ?jZi&|ZkOm7N]x,Rg\8I 7R+nEhDΘ2a/hG?=do/Xn ?sh9P)[VJQjŤsHCGUq 1k qgڥS}7eUa$m~Qa|N29l\KYFkݴc5fc$ +˄ +kv{p&)G{2Ѵl+{e~ K@ }I#|6SarC,;CvЂ