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  = < ]S HOL-UNITY:threads=6elapsed=20.142cpu=98.892gc=5.144factor=4.917zXZִF! 4]ŗXf1-q恈r|u2_QM' 8əj*؀g?ǔ;FSC9Tc30I: Yy `"Sr?xZi8Ŗ֛Z 1ORzD0\}f:$Iy$*+AV%]Em`ߋwkk#]C^6+RFIWgf.; 9p :[عx<$%C__쬓~0l|ɢ1C zY{FST_fx:1/U[be1 \pڙ]m}# '|ljaw@68I` AAlKZuof= UlHek ysk,?lSWPĥku~mKο>.<[>PJ   HOL-UNITY  ހl]% 47=0lwi^u~ YRsobϘw`kf7jY"TՐ*R678H}{tX{"C?сZ7;DgHD(#=6Fj@;s Ac3ܸ3Wה,3oUr߬6z3 c&R({ÕtE)Hc8_q"l"/U# 17ElO7'?+j w70滭y 4+3<@׏_BUǺ{uROW5N6HM tPcJabYFN4S_Lo!:Iz*x֊9l݇$3я5 TgC!ZPK࿐-T.9BֵNo%>"dʧ0+8BVs'g ݾ~L+fϲj" :3/1MU4{CmIgU !}K. !8BE`l%/hnwux!U%du6&d>gSicjtEV]NtXQ S&7CyIF"5"ɿ)}S;`lecgܕHXĖ9Ax[X}8d-`U5v X F2ү1 U;ҪRNdHꀙ9Z=cOby\cz(-+Ì i,gYZ7zXZִF! ;]ŗXiɟ1'x^܎z\aU8ɝjX3^^T\4sMML[T^tKrkmiZfȏ݁eee}nN΋Z/;Evy_j"պAo@D8~}2&Wn텓&.e:QIfH8*)ehTT0X۴+ eTm淫Ѻw>kt 2q EHupc50\t8b [CP";Ftie-t| _aTo7ߎlK)t Ы8Q4"5 *x>٦]+M I@"j*~΀ZK(6,~px@yV<LCCoNfVѮjӀ/pA9FR73 rХ% }+YJxpRL)q96נDh9Ï@IXvXbt/j+yo7GI@ĚoaՓT.ᣫc3SK7 sx>jbJz_g7fWCfXPZ*F۰l J+HgiCggoDvbKe :ՙIF`^}XH*DXӥMfNxQF(jp2 :{Vmʄ`EÆZÝg㊰!"WJ#S*t^ iL[#WVv1\[-%4|!ah!W9|s=yYrT W@vl]<:ڢ( %(dEbߤY3%iGC ZpԬh7qO?(l#&CA{8˔`o"BR[n6a9P ӴFZL9gdWEJ)~]k$03ZT\s?np@!1+!Z&*>t[n]SY XׯPga,}[ٕ8Yuj:ʏ2 u 倐k\Kѩuۙ/ռHNt|^M'li5h #| ֮'px+N^u^2A ]N5W7<.a#ӵ2پitXBWQ>n=oAu "%vCP2,[rI1gZN8i=~4taQ˕B8931D+w0~&%<ۅڅ}TƟPsTr=\ uR _-^)zV 5gOJ_^֛D+vDi^q;z؞YgCpy=>x#Oل1rjSYK؏QC|6 MvtӠyxZ>hٛ 3~H$z2|d .2wh8F&tjkyL=:fk6$:uLnv}d%o=κ8Jg5g`!(5-yz/sS4NG&n_7O.:0GY7V