SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 gg |\ ]/]CRDT:threads=4elapsed=15.077cpu=56.568gc=2.292factor=3.757zXZִF! ]ŗXf[&Hq5=c UC8;@ؔ&REo;Q;-~mDjƺ"F򩞴,ͣ#''ʌ *!Z9QQ;2/<ڧSx| ю8eQ ]0ٔ|u/lЈ__Ƒ `K"m;Kiq*;= GC6qdr>/q 4 7 5[klW*iTۥ&>?iv &: >AL0زФP1̺DeDG//oF< e7աn{ӰkR~>{U`73HԕWbIKsXDb:_qwn'dr?ґ;ӣ9VGG  4Tl痧:ϛ1Ȗ?w,$5e w+1v `փ$a6_PLnqʪ*LLYKm  -^{k@)9lk 6*DAV EVĪEmβd\sE;OToE7n^ܝU鱈QEᵲ`dMk @T?, s?qMF|c3.PN|+~Amͅ*A~%8$G*5Ǩw:s.a,~u~o@Sq^[a:-ʅgYZ7zXZִF! h]ŗXiɟ1˦rnzx <@0+gMLA=/A .&=XIlBn0klWgKq f/QvQU{О]Yƛ=ŕI'OMTNLzRr:?V6<-WŻ/ثTa }pYg_ؼq+&,1?ru2n(o ~bF( +'/ .zR{܉+ dZßugYZ7zXZִF! jq%]ŗXi%B:gTh8H[we-W0=RF%H7XGgږ6rw#ap H"]k`abi n|AAgb7~".!""-8)P|WqUW~&(Ŵ.W׮-Ma6H(Q&$ f[qO23)6mvA_f= +/TѹSl tnqK4Z }dyhb9\ D@\ҖjbzծX! TW\t\r4Ze;Voև7l(˿"&_פR>#U s6~O*zZ6 x|1cArM;QفR#gL;5h(kd_W`sEn$`YC KTnIe=PNZF[<,\W张GDH+7,b;'* yxz_Uno`^mo" ͍0?l&yÚ ͆R4#G^y>]hqϚѻ>K?FQڻK~Bxs6A_ [oh8~PIic9} NXOG_b?r-w uM(c2 2*&Jؽg|FU<ue%sjZ=$i)6, {ִF*_< y7_^5Zr+S= vN3H i+\I/ W. y,c|&=s1n_#z_Sf'shN{\Rfy#W6;}NؘOz 7Tǿ:i%YYieQ{+b' Zw2%%Q…iI02L |$X +QcNi՛193F`)mtL=T#u\#f30I1YCFG+A#.x& "R#OҶm(ŗr5dMȧeqtM0="'Nۃi(٬[y:dtiЉLDbI}l:DͲ8 q"oA0KD9+% Ն,!Q 㾖KsXyj*2`*#-~OkR6z~R(Cyبwkxy3ɕ'w,ñ<Q͕9mW,jc@œ`x:5C*&"qPt7Eieӵ i܁m‰B%}7皠]#0sঊ^_I?BboGVO-O~:^vk3n2Yb ;N:MHk YKLNA/4a{< Ql~B^JG$\mQl~Q;Vؔ hI,q.3ѣORroE-ثR`J:c5Hw3vuЁR!e/`DN#F2 JY "Э} b7oMf|B`gnun(]1__v!kKӞ]{O;2޵=q.# @/gv@4h4`