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  ,4L ]/ TLA:threads=2elapsed=19.044cpu=33.908gc=0.936factor=1.787zXZִF! P]ŗXf1-/6vR[j 84[ϲ E <,S>4$&\|te7 JC 9wo 7>sJ];0[s}2;RQ'|BqClŬ;ods`5c-h S$_b ̪})]뮞X9726Ӻ>.&Y;rB_]%AcD PRXt>=Tݴph=Pa ʙ{XL&y(,|$D5Ñ[LuP1L#Yh"b mTZuPȡW'cs: MY~hqBKr6g\xW+S'w4n0腤N}M[vH ~ sN 1Pp9P 2 ^ULjfץm Ȏg_( m-sΥXcXI*OzmR":מ_4_Tp!'_V#3JYEa7 ZIy)±ۢ'}oqJ,'=RF0F<nNa%gYZ7zXZִF! ]ŗXiɟ&ݾʆ])03_F_]9 vl31_Chtȵ 8!YؖqSQuygVK aGC' u1+C~ҁo\aBY\ڲKә$nᎋv('Au/u`YcJ6cu_:$['i=dR`/ޱ؛^Ut1H qcPlO9gYZ7zXZִF! vL^]ŗXi%>g1d"9K BD"1r,'!Y7(C̿oUԳ_{3a:iZDϮ/u {RB#^^@ۜm^iרylޗg yY,@cYx 2 mJqFu9XO'ȓpHy8dG]/p@{Za 9ۀ(ϒߵ&u{k /U2J8i%N@Pf+ o"5ɶ BC*G35ӧ$zBJR^!HEO).:F\]y^؅8"= L]ז|~Hzׯ)qeG{//{@˅l?{d'#A!/B=S1YxU[}Dk3=9k>#a64_tr.5FqUK5 Q>Ck꧝Bqe;Dnw3"\GEXۉ>#"Bʷq.ϣ0[^k:"%!ԉSWIWEBjKTg7 ]?{$^f۞fxXLF}=E@)^[vɟtW>"5X+qi]$E#!7@qTNI ?HE"-"zg)E~LnQL|R Qe X'±A=^C K/xg Dv/9>\f\tvyZPLeq.'8?'6#jC^?`=riN6i׷ =^QY8Y1=]I 1ˍ"oY@G^}.Fb=ufMEEZw+`|ɽ+VXƿ[~3x`u?q[D([kOU? b$˿svB̑U?*fWaUdѕw sDroqv> )owޟ—XNCFlf AZ 5ϿX_r4 W/xz!>CcbC''b;ulf~ ]4pyf4RL|sХ5dL?{0r]dm>BND`YgX6@!>xo**xiU?DHB+d-'1nWmtT!mdy}3HxNR=ol}kan5> gxEƪ1f>`t|* bZ%`{H {Ht%B1gi٪[H骯bpI` En5&JPu ?De6ɩy -hgYZ57548d59be623ede90ea705b19b45fe2e40728a4767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418  TLA