SQLite format 3@ .;  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  44tD ]/ SIFPL:threads=4elapsed=37.118cpu=112.348gc=3.564factor=3.037zXZִF! 0I]ŗXf[&N} wI>>n.|VLڿu@jq\\ZnJ`ؘ؞.x˘Up1ߜ =^8_X &_zF if;+~;!lnI ^Nr܅VoKj[my,oEsQq 7:c5C+R=`e^h=CT1:4Ai㌑?4,aML4(j-)5 (9Xvrymwˤs -RAgĸ,c}Ғ@u)vՎ&7`WoAp`x@ 7'jMlP= dq<* d/ |bH29yœ~+TBJvWPTL/Ym)[vA?B8!P)1RrOQnzsZ[r(UʋԸS 71,JZ :*!j .Z+uݺ > 5r-C&Q>f+._nnop 9b.[G2ksӉQL ZA ;ӓI$4A3d ҟW.N|mp&.bg7^TH#6hw,#CmQf$qe L(==j?gWVZ`T ]C !;{8WݾU3U NfQ h~u+D߭xԩv=Q %ˬEv-LK#hRW }$.KsXqOG0Ah͇AglcNF/YYAQd^С8}J6Je$<xeFgGfJ9C=G|V7i[=gV?[s泉(  SIFPL  @/+(&EϢuqs0Kv5{ Rǀ֢gu;.ծ5=F"7Q,Vt 顝ߌ¢XZژ<1uqG(Mc%6T+X aKF+*۸|Zܮ7߅qgG aj4kd0Z9 4ʢي}/OpL0$HOT&*@}?^\%E^@U50p `{5gYZ7zXZִF! ]ŗXiɟիxWuۖ?oU^MNCq r\g6t PDWxwCkg`%U>  HB 0~N:+Yx*Λ\lxR#8V,R~l*ˍnM.=m vúr@`~<g,"\[դnwkHge"9r"/{H24b$p2R׼f|=iXt1!gYZ7zXZִF! ]ŗXi%L >0R@CQJhPob<+2!4q!Ե1C 2fX]S6<:϶ Z᥺(Wt,YX8[-!L֬mꓢB/eN/Hidqu2Bk\­@7uz!pXƤ(36+p}O=~iGAaҹv@~)wؙäb7]M933nZmp{Ʀr۽7Z\.3Ok9d(b(pIHlF/-Jw]PV_EɥRq[hBJ83 >G^荺 *p)W8jVsFFĚOoEeeI E *0bPՒ)s#xk ,݉|vʹ`4R$ n!Ғ^ճ4?>޷+8p BԻ"RGs;|!6daHMfm^8F鎊 [U#5mnpRIQ?PW/-rBn=ŔFedֶɼS62XU#2#1t K.QNUvsՁDJ%Ǒ9,}fclq\wUQ4J@Tj允ȪTh{`ʱ4RhyuΜ%BGA7; Ϡvb6l9\O|4LmWNcØ# c)ˊna/6lfE*I.*'ã:J&Tw /" [^7ɜ?==+NNN:1[s_3+L8PJ6cX$ISX6m M7}8*6ê1Bʛ\;TAx:nBٓb2ݭ_)o1,9zr%,BϏQ}iޭ]3W3Q2'~%d;M pz>fypɏzxX]q{G3ʀL<+\ /)9E ì Y#+uIhq8*4>f\Oظp\`{u1R>^`OK wIL=fPL}HQW ӌ0k-䧜TB:QH U30o9մ迿n4MWcU5ФڤtxPiqX>g?gCG%DYM e\o]#H7!kB׭~P? =7pbei>²@0C^^"{QWJD\|%tP` 6k֐"bgHu:v}XNzlԷt8;Ӵ!,V}hG<+]KR(i}x/,4`]<V$G ԯhn,g&M?Jd #5)0͜ _;JX!̴ N#b=1Cu##f%p"Z+-e \@H\w* vJ!cfylM&î.pGݖ##O6"* h\BJp @GfLPo3ǐ P0sm/Pe";N4Ճ%茠MAwg-R@`Tnk,Fϖd6Kp{Gz. NơXQg51?LtoȠױ俳=$Ϟ$L0V"m=:gyw"GhXZyf!nq<ͼeRg ഴNܴLo6NTyihI?Qz3kNNkѼ"l*(܅bĪ^MN]߻>CY؃s^E|Za)R`J\7G`Iw l,[hS@&f;v%F*>to\+3YI=kzX|G?@HsޖT sI 1=x4CiVazԭWSE+1#`f<}dxGUvc&Ġ ^ַ̿{LجTp֎kq=Gns!`}N.߫&-KN>pHTz XGS= me 0ks?Bz*hfiFUNiU"*!OǛ6ͤM2 [Z+jhŻÐ̫"? A$H|lQ~h#[ySpVUDAW Bҩ:Uu;%)JfȶИM;?la-e.vUڭ2%$q=|aː-H#Ƌkx5sUL"82aOs wfуr-YjZ*O.+6&oUkxck7|;e>/oX9'7F )C1IS1jECk*o Չgc#m5y.'xuOCXfpu%vfn^ZCM?,,2aol*)tVɢM&"FHs,YX!