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  Tdt ]/ PLM:threads=4elapsed=25.346cpu=73.328gc=2.244factor=2.897zXZִF! +~$]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^WD ff@1w;V&~n"y8 dt$L!҉&m| iD>$QDڪh7XPwC@>-)l"79O+e4Y(GMZ);d4 ҍ20 IN{zN[2$hdG`/p[a`aWn_A-"ʣʊTGknUw!.eݰu,ub Q+ Ajz3:fW2h4rVeCʃkWB:N9o~J  PLM  4*G:,oA2@vb_3~x AѬ(dlƉHw+śG%F(}u% /P]F6,Lʔb<H5IxAwXVm\Q$!.fϭAgM0XA: ͌VT)~pE*R'>4 ,;4D]f>E1=GX9͐GQVnsNJZ/KzMɧ]scA: bV5dFqUo`*ONC)]}E8A0RPPd^1>l:e\>"xi^7D睗k_9N WةկЭ Pi q}YaI;m|9V/V_G`v=߉HroiGˈ}HPQgfQ|D͑^DZ,݊[O<gUk}8.jG\Ƥ=d`]y^:YyDg˂ d;̯iGjNA{O#5VgreɌhY,Bai'} ɫ[ԻJ 7 ~$p@!w!3xx@@^RL[Ku!΢ SX|XZG6AUw@$/!-PQ-8d#"F*RIΡi֥_O.i*N1(c6g&{yA˅n[ӟ>R#?i}i1L˟sڶ;h[:mhx8ߵnOd鍞zlhH@ 9̸#2-SP欀 p L_z%Br%hf:MkuAx-lӟuIAm&z|tX_&p) :uo&6qJjS ¹H T*dUo?6%P3uxl=/RjB/(=;2F]a83|{ ,UUaEʊHʌBh_jX!/Kc؈6-4M;w|>˽=\̍jCqb̍dS+" 9[;_=n|x'B+`xrخ=*Vm|?^y+Fl쒐˥;Q7%Ov]D>DgdO@@=K{11ڸB2M0Lv#s(;ܓOa6{Ey91}a;Ŧڊr S7'g 1ҥR5nTR~/Y`z)P"4a!{O8~R ]U\4j~C*`,Ry Co†K{דK{9.zsYqLNY0h'ϟȥJ+^Zd7q 0B1n tOX][Vc885 vuztwU$S,]%NĚ24{bt#xJ5vpdۗYjOJM/pd(R7+N&k3[v,@U%ߡQ-B3p_Kb8S\IZ-TKP"6yՋ#t(1>Vqґ=~*YTr<7pAVN?ѱqCq"g8٣D>K+kJi~G?IQdJ0Jl0S;i`LTZK3RY©0m.l:(.3v7, B A3*ȭ=g'Oڳ&հEz976_aW:Y姰` 3 )),̹@"}ҚsIluk@ն(p-fZ#2c?z>զ60uvG;UtZ#ϼJ'JygE4}BO[ Zq[3[tl֤<`[XM.{rj?ϒApo7&;fI4(~;]4K]Ǫp EfK÷=Fc 柠D-dV85jDM(n)>ܷ[/ܶ5\$]^.f z{YA3;Qn\owMCD[*gYZe21cbd6d3f8b50f94cce3b5b94520aa8538b1af89cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d