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 @5 ,t ]%]DynamicArchitectures:threads=4elapsed=9.005cpu=31.428gc=0.724factor=3.497zXZִF! |]ŗXf[&L #.3!R&m'\2\kntJ;Ī dxZ ][Dѱ/Sf[Mҙ fd iKbrgef[G.=TF G ׎ 풌GVgr{y c#ON*p"ߋ6^i;%(a&cۛiU~J.:ؕ_@K<`fѣAP!U{ž_Lj' 6'~ޞF&u[M̔9PR B]Pm0:"G=0MBKeJ Xp')ŁPg6 ̅ŞSxqt놈s!'SҊeހ`(genk6(-KáxtP 2mxY{ ` (֬!gYZ7zXZִF! y]ŗXiɟ:340Ψ_իX+jެDu?.jT yGh5#:[4q~=K>m-piĊo^c⯒#TȨ8`&@T TegYZ7zXZִF! VV]ŗXi%Gf\o |?H %%C!iU@k&+6mqN9i;cΨgG p*Yaf$99 .&7KIx1 YA APٕez7F-mXgşmĺIBEp^Sytkyaph\F ,HI!M ٕ5ΗdZcq3d`ʗ9]&qy<7L }zPFAWxAi0}]`]8vA~sXO݈.jTSvt[i:w,$oKCh;;ІGD[̛kO]a!熗Ӳ1U!Y_ܵ<$`:t kx4Cو z-c_]'=[xub{8UE֚+mkLޱIU0Sy 5Z+yCPڤt %?&,8\[ #-_Q'#i?Ll@T2ʪOo܇.* lKl E*"z.T_PIGS0s;SH#5;wG@=H է7JoD3RyG}Mq.կ:4X9T$hQpUR`̹0/6;+ />9@v /.Ve =: AR`'wU Cf&~P P1Ep 7B1pXhXsk#RG" \>u)@xpJl\!oa*)IsڀC,ߞEye eBd~J_|Zs6rBET՗uaŊ-3-WSRǨ p:2}#M'h0ëb'{Hf.j ׬ kgYZ77b6c2a08c763e98da149f726084b0d5c5a6154b1795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 34b3143175cc0cafe9a5ed0bfc2c39b86220bc46 b94aeae032d25118b0ccd9683f806be94d108fae 9619c8d5b6ee7a34da154c2080822c96b3245130c75face763d0a0e57053cd92e206eb41076b47b1 5 DynamicArchitectures