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 l ]/ FunWithTilings:threads=2elapsed=34.576cpu=37.368gc=0.276factor=1.087zXZִF! ]ŗXf[&-? 4gD6 HƙzSbx U׀HcTve7bdsJYze *9o%1^oRve-< OΪȥWr˔\<=|bJa~dUW~!6uic˧kB7{aX~ԧ3w?~^pNˑ ~ aQ))Vr=bB4dXt08oc<39S2ƚq ?DZgYZ7zXZִF! JC]ŗXiɟUXvjV*~ ^kmoy`'9W=T?KgnLR$g_Kl}YZ7zXZִF! ක]ŗXi%>ga]zD`l3W/)t ),jkmc[KI6 A?VPZ2Є|Z@L"ӏDd&1+rvHEO/ZiPJ>u= y<`y2nZҧ|rY+Ru}:JFUr^> $:cț] P̫3b) ix9/Cf'Gd$w]<[+>AAO)JqJ0fLlcU2/(pAAF+I.۠Z1Lv+;jYUKwO"E꽾(yOrqx[+>%WDNF;Hxxkio}\['IJI(/dÿfp.ʩ‰'Y S=v~G\Hgp0]ɖ_#9P9TOs@4&-nHpK4ޒof.A @>/rAGq/m]vhӰifJoԉNEn-3p /^plà ieK Z{pO d޼990_Tx/mƓhwߘtPwA8%B=v{¦\DE[DvI!+{S_m(̴vO9dt_+iYPf&rWtT;Tu3=7ԈLACـFSa^_ՙpX4,Vr·o?n~g( +R3}t䶏 qb@߳l/6lԦ|HPpNrpN hBL]jA, xE^s1j{tcu/EjeI~[S4qB6 ?cI.-=eSWF2B=$ӇYӆ*U*g?`QyV㕒#j*BĶ @ q]scy5zğ_a8io7DAe{+m:C DΑX`#yڷQ!+ G$&,٧\ j&{J{mhx:Mq3my,$q0@E7G7I5qO+sݨVZ䍦bQV˳T \¯VPpyZӮۖrVzQPoF;xۘ; %%JOC&x_c+,1MMvk+QVIS0:L@t|eKZF/ѽUb @fj)+PYH&t0CE0Nڦ⬎-'Y&V׹,SbRm+= )JEPtm}LHS[Ӫ-iRgv&Gza6妫g:XT wgYZ7eb69b74dc00144c9b2ffc37491b324c248b5af80779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f ) FunWithTilings