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 o+lwɣ*T>7~~CywC=K)pr%! '{An\(?.S >}S_DΩu[ t;u96{PN(zfϝ` bt"U2)ČKiG&`EC9J"r{ј7G#ٔm_7..6im-!d/pZL R0Ddc*2i5#*qxu-91׽Eig_1%1hH%fff$<*,%\)pvTvn}c:;LbXoibp3j|eamʳەZe`c`>XU1~:0(đi]vպ9, ]hφՈFg3NJ`J^e1' th hDJuP;nDP0$³L g4M9E`c@c3Vܗ3+Qz6x:GPG h׬NtL/8T6:h{`N''/"c X[!6Ώ ی"d==lKt;Qلgٯ*256߷.%Ƙ1*.űTpg|SM6möE"  *zWD0=;K0\NH]oňpQA ќ)GOJTizԱk]ʧIAJK\uЫo_0/Щ_sz+X[-ƈe4dwrjnqGU%&脁e"5*EǍ.=5I c'e + Abs_Int_ITP2012  -Ѓ2§=ؗ)k}#0W-Q.tyy^UQїy F݄/z^gøNޞ HgYZ7zXZִF! ]ŗXi%>t{4@9}lWK= %o"=RVɀ$^枰!4ofS⠫\~V~;OWd6B_\Dc6 4T (_Oh.ղYaH@g.>YZW6K.o>dj%rGM}%S5619 Y훠"<¢3vbb)0:]H/o)E]cH~ +i$Ɖ+5P ^YM& <%<#>?˷Nz^<<[X'Ө#]W-R pū)H]j AvY`)ONb!^nO#fw׼OS܍.X**V^no:+Р"X0 Ş[5m}֏6Qj 6Aj:ek9.Bи5>Ӝ716@Ì7R%؈zBjEcܚ5z#ӡ^n%1XkeY̮;/Z2 [@frV%H}z&H e )QD6ǵ'6$fxak"+"xU: s^sd4]<5U8Io*a. A2Qx~ky" #>Y7snȘrQ[RS.Ar\MiA(ҐJpǦm|[&-ۮ_ MTgBXP%2kF3ڮS^pNO%|sC:/ ~}KxoFJhD=my 5f/1Hπr1P^n&h ("g8753[d*'&YcOaA$nI.]׮9YYL=0-?L"iݦT$Ȗ[/,aM[鼳iВSnyGiMǘؘTʎQd$nͱgYZ9cfd002284e93b3efb1c029e270668e43b49053bc58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 73b47e28ecbfcbbc455d66c78eb653314a508e0b