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 # L ] pGCL:threads=4elapsed=21.029cpu=79.936gc=1.760factor=3.807zXZִF! !A]ŗXf[&.Ir?.kL|{Hk:D\SjoM.4po!ţM@ZuE+!3T>g;| 1p}N35N98$YBs$M- kRJJz?`fy!0`܅9V&Mlte|sNxDXˀ'՝=<̠41iY 6b[U5h'rA{ՎܬOJo񷆕ގȹKPqB Osٽ\ ·JꡎPUzW"5~o[@ly`(BSlG,h8o2L,yO{f8]¼@I ݻU: "uk\!R"c6.\ UGÆT@NWq~-);p+@c]+xK(X9W9ܭ E2#?~}k\y|kD} pC+f34@c,ݣgOeGp!䭾էHtg$F%/ʦDOoR5H`W;[!k9,y>ѐU"ӳf߅>l&B4p2Y\Ǚ.H*p2*` K(n5 vh5 _!-5|DzE %߶e66LOf6԰Y3Yc.$j6h,!?w2϶%%X\taOTﷷ쳖.SF)|H̽.:lho037PB5*ZO_4,}vNɳ?]\x'`;)YB;wgYZ7zXZִF! L]ŗXiɟ: e=o݆$˸1yGO%Pۋ-X Qi*p>\zhl25+&TJrn&!&]zZ zcaQIrmxQMJ~tPuqrhsZ()ǿ!%~t,N&*Va|e戁#k> ;iVZ-2)ׄ^RLZֺfoĘzHn5(]86@#FNqw0"]T,P;lzd]E|Jo:Hp@Յwn Ϲ SEf+!+zk"FgN@a'_5!I?=L+ C& X B)aeķeUcSgG.i`y(&"O]WmԋX͸LC'' %5+OM@y2Mꍗ69&).ǮUG=$ޘ-3[08a{ 5i9sUٮUǁiE >dj8r яzM3`ŵkQ%`h/!yԖC. Nd,YQzN70tY;nm~,E%z> tNfs4[NHgUF | xϸ1<5Mwzy,]Y5 NjZI_ U`8EKt5zZpݣC H?e#X8sW0=Сr*W\Jr=d_s>˶rN)E%-TIF lRh[/'lmPk42xwai#^NTrT?6Lj)@e"2<9<5&}6 &`=5$4 :Р.^Eی/쵄d39[N_lG@