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 HH5) \\T ] Landau_Symbols:threads=2elapsed=14.566cpu=27.380gc=1.492factor=1.887zXZִF! &]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1HVs]}qj/F;^@ \Ovx`Yòs\YYM|acUٸM6kub Io$o̓ޭqtx*ώt S׀:PQ_}kMx2~lT̞|kud_BUv,-5Y?HA"3YBiø4BG-nd~pqm1ZEIsXM޼y'3D o=8`q*ᦂV_RSш]ɉt]3"ౚq'=y{e.!tDlp|LjI_럻\Fļ=#`NtOkF)xDc=M͇LuGs=D2-zSZIK2{~5%`%I&uWR;/ֵ\oi06o&Ait^|E1#\ý屶{5qr%PgYZ7zXZִF! ]ŗXiɟc'od9m1 )py\n۬Nǡ$ 0ڥvIOAzkcO" 1M(tخ YV- &ƴ?eEe& Z.葔2-QCn #Ȏ8%D ` b(+g !$QH k+c{"u;CG''?P>I$Do [5_ =Mrѐ4l5gYZ7zXZִF! W]ŗXi%;*ҹxTR)tY2"_6 /fּ3i:(u }nӝStMn 0ϴ?cu4 lF$)_ݗ]3Ef'30Ï:(DAfRVJbػn=>u4&(s<"&ߵ@%\dY%?*>v`Cp̄#-!z%`Dr`u3R"P/>.s̀6wN;|?`.V\˫fǔ:ʰ}bh`2@CRk#:)WLeSAjs8|D'hIb}։'1dmDێ{xFeR-:z3*H=ۄ'bi̹fƘۿs &mq=fsԔʚklnٔ'"'Z ~40xh1_Uah"㔝KkIJ ?Tޚ+DS1o oYh֩ X-}WM6\#^&hT%{- Nv22G~²UQv0^<,@n ᥓv0B?Krdpż8{#;j5T 1 ;U vwbJam_*ezU>h9w`n6Wzںj1ҝ==>K( HVnLu(pE3h?f L~$cpĪf';;6MheSb͂e