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 d) ,D| ] Landau_Symbols:threads=4elapsed=8.235cpu=20.936gc=0.800factor=2.547zXZִF! ]ŗXf[& nTg6 HJUU< 6PA{^7b_c^ 9q7rRYWKp~q@JN?1aQ8 Fx㋬I@*8H I=;XR}2f3,1uҹljfAliz lagUtpU=bgH5vWQWcd5pZd c` Eۈ=a^p3t!ҼSX1& @,3 [~)/_ä 81x0܊Ȯ}^Xp\H`cC _첏[EAfq;򿩼=(s>k'F'.('LC}D9%yw-D(8m;A'&GtgYZ7zXZִF! H]ŗXiɟc'od9m1ֈN{y Υ pBBmvZF8Ϝ7Ƞu%Uv ;4v,NdeU Q?Zd5SdgAS\׆nwkӮ3zͣU,a^P'P#Jӣ9t/l cp/֓ؿ1hc]͍XZ@ϙ%6z2F",$OԭU+B^sP~:ܮeHňd=\ e}jbA '(ug1q8;${{6i밮VٱE /ձ'\N8-qE7Ь1`t&FҢXZA^?YII^y@ظ ƤJ:t(HP#Gq%PCwRCK{vf`tP?'Y*x<} !1cQ׈]4( ߐֈyQ(}ͥrTsOG2< 5 :1<%+)oQrܧ̼f">II7ם: td@O YgA F8n{`>I^/{J⒈Ei{oY޻DչtHpK^<N4T& @FQ%tVs37k:cri[1M]ゑ o>YV]?{yn,2YVwLGe>G u2GR*k}9s.iA|ߤ-=-BeWY0{zOg$iI\듅 }@WUdy{9z_g ܮOg9/[χFfn`->  QZq2(SXWUγ%'}"Gp%hd%oɋԡ