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 P' < ]]List-Infinite:threads=4elapsed=18.043cpu=58.036gc=2.384factor=3.227zXZִF! "]ŗXf[&!9s`|kK4CQ.Ia Y<]F#tڿfb3Z4>BvB5()0PKPSA1y(E(Dl}Gy8uS2yK!fxi5q8P_|[Wސ^5c <}4%%%n<?qzK3fy=dY&(gt]"!.ck?l`-|lyRԵ};|bEf2! ޏK#/d۟~{pv_TثtiK8z]dbנ8~zjvd=, ! {bsj>% caI5D; _wtAQ7xiJA<FF&X>#d3#MVXj =py(2Πq .ϖ_|x%k!ϼ cҐD/nYWup/<֥NbӹBU VCKdpyii\E{ O$m5܉{;#@&Ng58\w (WmW&3۴Ƞ~D-$5_C sR,hkU +4\uc,Yff Z% 1u<ǿ>wv/B.zDNF]v<˗E~.:oOj-۪6{q-(ظat=6iW,m~Q7Čқq9ؕB;.iBH+ǹfp&xLIO}AM._U/~>rwBEogYZ7zXZִF! ]ŗXiɟFTq7`T9t!VvMn2Eڈ2!fwߵ_.4gN{g&Og : Oi&l9s ,2pu| ]dKS>SBiDɳTS2=|WtG+" ɣyMwEukL 4.Զ9>VFb5 k+Qpr=fFAc 82hˌb:TO WC@zΨeU]gYZ7zXZִF! ]ŗXi%L 0+~7h$\x |)gYjp(p_qVR01s8ČvNiclSݗ:EhtX!ajt܌p U?*"AϷxG]S=eW1tk+𪭿o6a8gC,\zlEJ!6t\\uog@H n^/&Œ[c_vɛ7ǶdJڤ{SlML 2r3Z[ɒS!ǛF=iXHy?|xA}-;ՆC 6 ze⌵1cA"#׭zE43J_r!v?1oH5 eUm,*[Q#. k!3o+\sK,+d)q$?$ !'UWK'lP4OA 7TDOğ%=&4IK,K'~<1,-$ wz.I}, 4;ZUS!j-;5P=R%ʐiP/0li41ybטO 3Ҟ/|Ŕ *^3?`?ӭ(hR{.ׯ-ٟq0 IL\KdˍjxĻprl{aKO5]}& f*j.i;~[lijXKFB8U{91 s"3KX(ƻଘL"_,ԱvڰU"/"ԉS$`MrZn>ִvXut1#Ꙥ Uƻ Z|ijH9( yQۤhwEpV .ͼJԵk›:t)v#q 1=v;]@_`ED! Oӻ`ݭ6 209/YYHpC31-4QoC6^{?Ueɻڃ~] B|1̗S?E]WZ̅A#yk5@/ އA0u,[SRx~!*ߪ_9 P]5_bJTT2f6ǚ>af̯P&zS5'<B.1{]RSeKNF6p`8 tJ<'pW [ī7#&=Q#&T3/YG3Б/W[oZ~C,nSyuS6o/Էo*6;b1~EԍԲǎ@4G*HI5Q6[ϨΰC`;WdXLEGSnNֺ n< S/)=W'|}bRgCW gfmTU,ԡ,%VctL4"̍K}B=|tuV@Z,3!C1G I.Ma_qEő|}eY/c2Dqb9p1ߙ'!@xC'$ \'>ZÑ.S{;7eWx^lOɤa s3һ8B<1ƁU&2MYE͆aJRvXL4Y0BBmo\PSa'n`ˋV[thlQQnߥP~Cߝ3Sd|'_"Kה{FL"CJ&p[h)p咃]4 MyƓ, $J8p<ϟߜ`lƝɹx"R#3?7=RbCš") "0.xb=5lB|fڋ +mOAO:-oQ2>0<}y}eĈ_uu]?|hΔc65hk ƦHiW$G& ߍ`IoO}u1#p/pGB@-J?v#dBcܒ0s>\z?)f[2&kO %$V'S^u +4Vfi×RNҡ—!xھ$8}! gYZ131dbd29de2124916f1d8fda28057b05d087b42ed3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 2b11f4ccb587528b98467ed17165aa165adff39b6fdb55323a134070e5163ab7347a98a76046e28c ' List-Infinite