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 v  T ]]]ZF:threads=6elapsed=12.721cpu=45.576gc=3.216factor=3.587zXZִF! ]ŗXf1-) enȈA$jB80l,v8-qFN}H2研M`^k5@% Y eǁN_8Ao B0w~ I/L|.Q ˩k( wŽ3`%Dʺpe4.C؅"( %Qc\V_r7JRyZ(Hr\/yhZH қ8PX. }w? Kׯ hDĦk\ 7ES;4R0pÆ䞍].ԳA}|gr HFʶ[͠gVfg۞^#Ȓ܊UD\U0<(UNּװܠ?YRPzv^7v+}BjX70ѭl8-b@^g,r=Gk>vy򁇴4E[|M6u$& z = Չ z;Z ^DpKq+"llm=D[$|@ w*ɯ*ZFJQ)L0@R5v 7Xf`!{ ̣G!o3Ro- ɠ-1PԫR )/8 >gYZ7zXZִF! >]ŗXiɟ 1FE`穵f;.F6l#DsA5T%1b2Z)-^6Rltz˞ Zb"pUZ\)_V>&2 ? Rf3B`:kS5|LG&Ceab%ʔKy?Vc7 pi\,lIpkx#md6!E8~+=FK-sG\W{f9)+4{S++m8Dʪ"i_Z:^c"/ # [1@1)ʂ9'gYZ7zXZִF! >"]ŗXi%>pq|@DŬ`7# "tϹ=e3%8LXƷquB`]y*JiM}|~t𨾭ڲ[#OSKg}}%?:l#\dm_Gr5~2]"^ǟlQ"t~nB,ƈB>6'~gQ  Y?V9@9 wf#_ܢMg )cf_!AD;J+J0O}9"XqI=1l}"#޻(M AR2\euS9 luTG$e* TfЅ Ը̠A $+of`4!>=kD̚UT@UOy~uii15]磎BGnng[g#Nǖ[ܩrB~U4މH*qГl|,/p)X"7M+%]R|y81}őýiTCi;SbRr[^[pٔM}V,!'; 칀q[ b]#*^~ ?ѹTRq9`d[)i!gbPR lj1Lwg\\~6)8Dzlc$OuwxT,"9Osj1Vy!+軋wsGn жǥlZFllapG5Z))Y`RHZ=d 8LKocU? ̭,]*Lg[$h&PГ~3[{u`ev/1@'0f*N6j1F[rP3zr tA|_U#6= hb>Een\릥Ӂx Z PfnU#~c٤Y=泗^Xl;+&ХkoD7B0&"Dnwb 4z}pb!G DCt$d/!ûIxIQ&c\pęы\eʇ2D7J2 9'Nz$ 0?/WwGJ3f*jn۲O^}w(Z[dԯXJ~&#藂zL + =!kHW*`8?_ 6޸M:۵a }?3gYZa6b24e832f36987ed2eca33b4cefbb43e3526b56dd3df6fd1fc63d31a2930446f6245215ba2d6c823b246cd6065314d14e2015522d73d30968cec82f  ZF