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   t) 4 ]/ FunWithTilings:threads=4elapsed=16.067cpu=48.060gc=0.176factor=2.997zXZִF! q]ŗXf[&-? 4gD6 HƙzSbx U׀HcTve7bdsJYze 'l'{(z#M f"S]siĜS^!xFi v= 8ݎBsx!ć- cpgYZ7zXZִF! JE]ŗXiɟUXvjV*~ ^kmoy`'tgyĸ#qOi& AF%CaKwn}YZ7zXZִF! `T]ŗXi%B4ȃ191`wCGx' 9L7):#XuI.ܥBG%cub:'Zm!=7>؎Iu'ˠm[UA8څZv9IE1`Ywq-gwH[DOhb'ltqD0 anx.IC)] w.mٺJOShpqc{M E93&LafN88< PѸ8A|qV؉hW1/̐Ttʡ('Bb̏54})I5w%Rb^fDB6˓u `qD G5X*l/O٫Ify/I{cyA6]2y: IGsA| ]v ~.S5@4-twtl?tG+ `j/xk=¬?֤ƶbu8fMǕ X;ĩGBL#ym!s_NCAjezzcH9Ò*k1PZ,z!z97:<cuY@Gg-m- Mi;QS!D\'HQ<^W_h=-msA>wj#RdVF<ЯB^l*`R&XJg~飦w'dU%b:Е5#ISo4KYo4oLq3ʢ NSL!Nf^]h&>G9e;&8lC^&=iFo/m8˭jY"@I\ ظVXk(SuNY5\8,ղy (jb]F(f e|Nȶe7S6)-&"JB6,v'pދNS~{ǫ3䬽!N# $"`? 1['P+R>LL L=}{p@mȠii.Z KC%e $?mbJO|}1$#Xc* 큑gYZ0b41808a39a129b46eac205e7dd1ddaf081bf7289cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d ) FunWithTilings