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  ) $W5bkxk(n?gBagg0"#Wu>WC@r^@&~=0쳘Qѿ%4 #@)nedi4}/.jJ(h `mcz큎NsǗM/@?Cdw8l"EIC@eO/I!S WY9|zk i-JѯdQ4^~|O| `i>C=A6S6   LambdaMu  L8ӭT@aX{}\8VH$LUW47sfsu,~2HLd>=uزfk+k(,$q/)ĺكJ_Uiv3O)2%C+.sYe 8v3U.[j+W ki~`n5P]|#Վ&¨RK3=E[?F.`DCXyO }hnؼu \V2e%T|Ur'3$[m _#70шQb_/9޼oOH#LU{gIAw4 AX=g:Y_@=Υ / :c*s卶<#%YC["d.fi^RJ2R6Hʉ,#ؗ:BrwÌGEɚ6ų{ݨ 5j/#`ȔFFG0BT&u=EWAi5p0v8?6Kf,'x5G[?@^ŕ&\#44>E{UDR1]Q;%ƴȐTۑ;l-hiQ?GH.O\Xf(x|"Ŕ 7^ۧ$i Mx#5Xð>ppfϤ6`Z")|.t!@W7M+\[ABW ʮRlaWϤ, j<6Es|twM"BJF8 ƍ@=16)遍M:g*Z 7r-nd-+S M\f,P3 v|BD*3'u* @}ZYjS$2rџ"tPV] t?g`ןP1]Wr6Q@D5dW^5̻rqeSEfU6;Rȥ@qQBZM)?|nM$am&ȱLHg ,-t9yo jmzs("'VGЏWv)>Dseᤵ9:ExJ~KϿ?Mo0H9z4q=HP,ܦIw<5x*1bpA&L1{ȣ| ~3[1e[kNiy9ͭiOӣ005P #F.Uʡr5^eՕoz$ DcRNxr$L]̦sX02[v%c3[SS/ZRI_311v3#  Gkn#@@v>:h۔?̸)g89 B~G5۝ YX >pǨ:pRuHS@}ZGi'Vn4 (bc;Fu86␌T'Z3in;-iJT>OQQ"u47:$. Lēʼ"DеxAG/uL^ ap,ݻ9;b~.-cYAJV2`F߇ڏ]GjMϏ 85n`_aBG8䚮?[(Ѷ1*ga:L\Wu[rQ_.Dx5rZ5d p!-hbw?(ÁK~:|FZITu 5 ,L, fJB@}-@**-];r'f@GfbkNL 8d f OYj^ 18Cv˄Թzc6_۟qsgYZ7zXZִF! ]ŗXiɟ؀6t72 ;[8}$T}7(bv4QxmSh-KV , :!h^Z^S5iDuwo> lB'ILBGHUy |#B,k!99~v][X xI՜E5`sRjI~qgDhz33ŘRtI=Fb,`'LE1MgYZ7zXZִF! 78q]ŗXi%L!l m||Mw(qf>C)AY g1*օCVkBF*hy%Mr5I˫eb؎ PU<R-hpk">˲~~[0c׬SiK}ɦk3ve%;P(7@oVj{s> ieE4L,%~eYxXRQEJ hZ Z6aN NC) !Kr'9vsMM"UYK4\S; |-b!##&(GLٌ>-%!r IyAyO7Ar$ο}Sf D[Y#]Lˁ-f7$FTBWcֻN;+y窥4&vL`x^z&=&rEx|t,{t`m/ @WG{ij,|+&9n.:o]yL ]ց>?qW߈&.O6zߓ@{kܮK}#a;Tܭ"8(=$v z;R1?r5 pKOSb Cت%2?Q\k1* 7w~m)xv}&95rqX@%!