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 R' 4d< ]%]Sepref_Prereq:threads=2elapsed=61.181cpu=73.376gc=4.168factor=1.207zXZִF! 6 S]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VBa0-QG.APT(}Lm`T.(PܾK5߉8}f@Vm` [Q(=/O9{uAqK9Sw&a$gtHY뒦_ћh騼qӽ>F!S\iT7QGXo0G%SBg!\uH,Lc709.%-fonRRP;;EQ8' 'F Q!x7 NlAŃ",p=7 =Mc/m5!8[sz Sx^$ψtUh5VUè露&-$9l01o[6RT.moROܴ~깲npfZWtׂ| wY r9zP>=PD6q!b\=P,4E532Ê/ \.?Zkt̅ Bm6ª$Wz/͗8aAכYd,,>qjI &dl؏43 έ?Ky*oa Q>\OXO[HY|0-3"aO!w0?\@!ˆgyJ5,xuHy>od*YS#iSd Gf&!%cݺv.]`Zχ߇BO@Z8 IZFwlS:<൝ي';53,naz kn7A*l!-SitL~bpNT^.J1~HDu2MѥcɓT`ؘ( G¥Φf~}BEM:a\$Πx=RI3*ANTnw7Y0Z_ˌ{ ^rϴ]'% XEAfc6"Al~ڈү(ALz[d>V"3c]  lUfbgYZ7zXZִF! k]ŗXiɟ1˦r~KunύNN{\2"ʩ_T7p]dVU_ \2dmfⷪ-mJ|@maEЁT" Sobg'>_+,x0Iǭ!F oS+ "G m(CF@)?3%vvc!1 PYbl1 SgYZ7zXZִF! X]ŗXi%>gy N1<7 y" C_ >i3U I`[! vLУ݀Q"Bپ @gﳛY췩>7Z<ISBDA]Tf U-dmC鸱 FrW Ss޲GVnnME4HC*hd08&j=@3Kc/ClX؜mzMo֎z?V3! ̊!ߞ}TySR$5V5R44YbLa4C'l*5*\/@iraQ49y6\5# lO|9HMiy_4,W͔dNbP*F:W(ԠV"0t,8^[QeFMr :o6(SNZ=> Q &UT]Z89VɵҼy@,7JZJq*BpMHh^}pLiͦ}L<}(E5qi@X-)ܩk`tx,yi"sٴ91/ C?:ɽR~0Ne:h|g8J K_ ld=ͱ9+wpdf屃RUқX UNGN-44|9Zq?nQ>dKH.SK~Pl 4Nica;+:ƹjdrMI')B>ł 'wfWb3Zp )tZz~ oϥӪx+ucMpmABgxm&jv"3բM:O* @Ӽ ~q i@W+%0ǖhRД'2YO:gx$g(,!B/S6lUeo*rGH i谽uG72",kKTB\[i):v+ "@5ɦ3Udݕt@ T[G+u܁v*VGt?_ӣxV++&I \[\&Kvt`Z' /)wiX YO$ f'.ߡRS7AAkݰ&=֪i ݘW`K<` XJs2.Id Ͱ^-B`̦vvG ] s R;5_3h,b*)LFZB*b|uivpCz<)6җud 3 -B Q,>[ǩI'ol8CL/$DOBrSk3} KUDgFH(M [5VĿxd㖸FusT螳=;P8eMO~3@ 啤 P"̓@yONJOy֦.=O\Pzd*Gʧ cz T u!NjBpޕٶ| ix\"s 9Y B''9RѯBΈe:ś@5!{ϰ@ORہ* R~vԞEj*;A#ޡwk[7kSwwWWI{sL!1 }D'ɚ tI@[ %z?_d&^WBgYZ1f75b4a67a37cbe2d2b0dc5d36cccc0ef7d738630779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f db425a9259037423f4e156b4720884a93225bec8 3fbd0146b4e5873479c687e1e5585ab512d82083 5194aa18b86f6ad691dcb6298c8a53536a5dc3e1211e71e3dc7b2d89710557b49457dfd094d84c44