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 G7 |t ]/ WHATandWHERE_Security:threads=8elapsed=18.256cpu=84.461gc=3.131factor=4.637zXZִF! (]ŗXf[&jӯB: ϨGvAq#2QxOJRظ7J1TL?|vHbt^?b4,v}h 0 0DTʕ@~MukK|?!Az5Ŀ+_qLO y F߯b -VM,m({(3\֢vظ?lc !dos,H%ȫ)2Im6,G?n lyOi(*O1%qK)3'A17-{z-'̕9~rf(VFˍRCW52vR!ןl$Kdu?p$0s9:v sCQ'_@s Dʎ~&ʵT`ɥ|]AOt;歺>kCȋжׂ?ǣq 79hl C9!^1|A5nT%)sZ1Qj8L*H>Twgץv)B!gLB@ZXY ݈cY9G-b/A7ܰϸ(hBA<::;pV>zj\DFk_E#Z͙ !rٰ;׆-k;6A I E]e/Y36P'iaVȨ3IFrqTH'E!Eu: FvBB^OL1[ޒXrw:z ҭ2s=j< yۆOAtl#z\ &pBxh6gYZ7zXZִF! ngs]ŗXi%>t{ʦ\"$w٨ 8p ߸ (!CReGN2%grCZH C()B"nqĠ!<~&j\G\Ww3'^ F Ԗ |5sWHaXs/L BMW<0;2/%砢hŰ݈VW$ ;UynEX؁5P|HA-FfK>k9xXZf׬? xQ7(5vH7֩7i%ýIaq )ْ 854a|:ֱ]O,>ڇtĮd_ J. =E8yE8i'[/_GuR/7GӓwnnN*\n ͿAYP׻2̯h21[a!GDo+ډYM(ի& &~עEOdۆE#K|w> Oa\5Kߘ͉X]Tl'x ]jj_0lHTx:)'׍w< h.7b6kB-aVޒ@!^ KsդVqE"YynvXmL`+O.&Epi.8)TBƘ5B0˾Fg61"r\9 o<NƖ @ѵҩ% 7!F6@Hh[Z~ph^H Tj߳9pd?sEN&L=ΛUV4n T-6%v@>!At,#&&=N:O oMSBuhiyyQy`scSj**P}@cY\'Ǘ]va~ӺJ! )!;+wF?XB"=ߧ@I}v/i2CsF&#dgqdVBχh#2l ZcnɷU->8"eg:d7;Ni!҆ 짘=QTK}`XXԕ|9޺qƩ=yIy٫D6\ۗ67gCl̈́r8#luv"l JX e$Ā1c+O⤽RP\])ayġJOΫ]uY 3)3j n9 RF{eSZed F{;=?G],m"$5}ХfeeufHMెh@k:uI\cݱ _y~CSʹ&@) u -jMyކWVvoCF֪,q^2Z~5",$G^ GdouN`mz{)ndy|pԲcxB(0ęE?'\Ez2&S1X0:LOZܗbHOXӺ ;kNՔ'LGI}. H>4h׭oBK՗NJ)<#J ߭vZ9^vu )ƉXGA+ۚ0HCe5y^8لlgw%#Ck 06PUoŦ:nVZkݫL/G0֒M-@@9 BT׳F,/:rj@9TCS_eQ_wq gYZfeaaebbe2e5fb91e517db8462f6eba299c9f7fa7c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 7 WHATandWHERE_Security