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  d $ ]/ FLP:threads=2elapsed=21.926cpu=39.436gc=1.304factor=1.807zXZִF! ]ŗXf1-/6vRZlh[j^iWrYWrWzux;6aţ n5`V gҌงߋ`(,$qTI}l ڧS'5Q'b6;?ҿ[1; SuaV;s:A#ߛ8T$>$1x(Xl`+onھWԆFnw;Qepp3ecX"=z\ֳ0'vԻA/d<l=<:d`[ @?Ksi˝w6Vwal%c G.gr7U"9ۯ2MJ&= b3Otөe?aK8,dE~ ]ŗXi%>gmr*L|Y޲ZȮeD Em::`]]try(ju&,#ۘ~ι[O5OË2||s4GL^}OQb&rCoG'L&PSf4 Z28֧W)ٲpp60y/(hPMu;X!or\BW.Up?y^wN?,8W@ his'~@-D`S˻A3j!_Rrqlz1h'8Khh/L5j>jVg,עy+5^DiE襕5j[{mÈ|7eb$%Ƶ^;v:;<3N npoEo:-ʅ}UC[uRxxL°ds$ɪl:Buh|_:%wtb%P. _{ia*Vr1bT:ȣ0&l9rLw['px J-AqK!«*z0 {5D¶;NgQ;274%χc@+g_?$$V*EӃP#7Kd< ZRh*I:97YHc suܘO\64hv.t{pg#vm+vHlUC?^icx,Alg(~J2I/]n6ZI j?D Cˠi]$┭I4HЃx#F@iBfV=kP3MriM"k8`w ucEq6@Z(smmC-.+~ã4peHJ]|h_k; V6ve6MTd-( b:D4\LEߥ8t<ÜX+'HU?AKV/k񍾭+[bnF5hţ5GםsEW疈"fjEX|yi5|Krޓ'")̬ۥXX(10v*%?_tì~%=Нϴb7w;t}=]yjYk7ZdH:g`h @*f}ި-s Q1\77|Q HR6:bUz׻t lcBg=T$&?ؠNH*8p)h^ v\u"Kε4<ɴF#J c' sHZUfYQjr֫X͛QzQ&5&ig$ze@];y7HWt1V6|jo/_N(嚗G4ǜCm۩8՚8B% Óyor&>4 TŖLj֬D"%+򦟶 $?~LJZ. 0GōD.A6N1$Y:(߅c(Jwʕu[4c^gYZ6d78adb79d4b85e0ec45567e7f7c99191ca1267f767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418  FLP