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   s1 4\D ]/ Tree_Decomposition:threads=4elapsed=4.956cpu=14.656gc=0.480factor=2.967zXZִF! R]ŗXf[&}/;`h ;,`%uUxp)ayP_g-w#%n5r1>{ğ7H?𛕖[h-^ېMM^{ EL-\(yד8>FqGjBCQ,ܼ]kٺKYl8Jº03|M\(%n YTػ|yϗp`倫y~ٕALx.XN+_Qyh:XaE0`H1awIc  ugYZ7zXZִF! ]ŗXiɟl%_LW\Y1d.^(^SxŘ/(wҚ\Jp!XL``0 n1kcSWHsvJ;yH HiPiBwT@;?w3?B<9Ɛ`".G)gYZ7zXZִF! 4[]ŗXi%Gcř$)FIz EWs;-!AKFs}3 pz;nHhh'N@i;Z?+.@4NMj)0(rRYF4s AQb<HQd$B=nDD|8fx`[nAr"^Ȓ8k\2?,%":{ZlZ|"_jB8M%OFV{Ud6ҢWv­+{o*=JmI]a36OG혫b^mS<ݐ W,bwiNz[N֏v3QA^9躍HUb4%]&),khlGX.N|hh ,#4D\GW8Zf%*aoW•HN TAx!cLʪk\TŴBG>6 |ö=H]-{u\*:Zv+1 5 2EՒhv^ h={ NgS[D0Sؙ?zMeT:I^ĉv VY+kiŇ'x+.@ֶh3{KݾaO]X:r3Q]d^W^_GM9~"ӡf6;M9Q}$!aHhK F0{B7I]\",UDQbf=FoL{`M'1VZkl$OdJ_iR݂M}vFDLO9UD44}efG;Jݐz9:.\\*