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   Dd ]/ BNF_CC:threads=4elapsed=15.502cpu=51.880gc=3.408factor=3.357zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{6)_\;Ց俥yɀf) "L@w65v^r5օ;oXwzu_E筒2fX4 FuW|hl'W6cZϲD"h݆{H~g4 a*"cz Aֈ"Xx>g}wFUMzc (omh?wDE 6y&^Ch^,ɴi!9wԆ`A|q- ɚh>O fOzT$IG`K-y YJT&akXCggf@0BTjcn%> `._TrԘ7o)`s nj& v-#v,^W8*%\U%3QX<o!c :6rs-n`{m P}szm^m`J#`\ݓ!<8|q#~%Hx 4<#j_:RidL +q&PV75.=moҊ7xزiȢ& 7Ȋ )֫UûFHb h>sƏj%DiR g6jT1 +[5qs gԕ`jZMP}ס$S ]Ody҂2i'rqA@Ity&%k/ni aAz*6 Q,j) ӽngYZ7zXZִF! rl]ŗXi%L gPih͝}ӧt5TW-5Cs_ πEcE(4<\I||gJel9pUѱ:B|%;^(j;];F\K;U(ȴT߭FT&lkQ5?dbklf}Nb@ZF|F X9-1̷?frR7 ,\J!O#-LAtS=‘V4mE*fNgTs}8Zs+֦(K^dcS?{=l;/o]0 ZTK7Mrmc{p\.h=JȔLS'6 f6׷g +6Pe4߲hr*3ӥk4pN [w+b:L>p}JF D'$z}F,mɻw4:Bw̑sD´S0܎,{`H=ޛc*)?ڸg 0f 4amlE5]G%Q֣͋vwvU| >]y]QKofB̢ȡci~2`9bYtu28܎84ǰE嶺ѣ^qgtD4yMeϣI !P]a9.&]aN!J!5mbzXQqMqV Q*y&sF0,ߨx(O!˻DZmH:ݣddY5xszO]mtL0Y CF^x^ž&aAA?&3\kTY"5'@G}5߸TI!s.#V2?(3f1qa@WIn!7Xz%*ܕˤZ*#펜ȟ:'Kjl>Дo 9bltogk]^R hL;c-V)}.Fb<k[ZCgzBz2HK(c—wVօ ۃ_+8Q~Z@HF؊l1=,J1iEse-/H+^8Yy4DNu6cq+ف䃚-lV03?n(u̩ۣU٣4&i,C"E:d1jچ|ri`̉U"L6nA=qe $8oT 5p+10[bMe^O}9zvS"HiyA0CJb_K}䯔8#]f5XJMLIrOʑX)%#cLqC 2YL8[ě-#\yg0w6ʯ *ݪjډj&:xC ?Y 6RU:|j;|TRRȦ];!+ =dtYn;qȹR` Ԉ^iz.Эa))OL;djS=TE_!,b|*OT7\猎-m@k_=o1Li!jbض!; F>Eg*51J`VƁK:o8,qт-Ҋ3`Qf9蝩M {`8uQ_=*U} gYZba915a9690ceb18429a1c423e0bc02a250eb5aded3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773   BNF_CC