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  | |y?d< ]]HOL-Computational_Algebra:threads=6elapsed=34.142cpu=121.440gc=5.556factor=3.567zXZִF! 5j]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(Ceջ)VZ$33>.jIw.x ax8ݔ;lq$qV  csM+c:/kȦlGYWweuq-NlL{"&+Fb%@UPQ\zsz=5L8 YmO7~4T B%3V$;0p-4wjfrtlom=)T}"`;e9F@:6Rܙki#w{Ws ) n[G~w=/`{f[G<)H?8U/a9u!UFӝΧgR~jѻ1Li\ܱsB| 44 M;}OS6F7yv:n-U~#0;˾㭶d_ɿ6ǢS#tq(SkcưE :۩2d-^K~'‰`%nbK`=V`3v,'m­[#bB`OL!vD-7!yz{!v`*arni̼ýkip.EɰpDGDzۤ>T<~KKm/ F#BvF`϶ᶻX[O:jiT6sNv!83o|sC8)<enֻr6=,c`-]+&C$S&<3s/^dī~cEO9$QfZ?,Oyqb:ᘠbO(L>ӁBe3XJ=)ND$퐲;nE138}͋^n_A*~qutkMvbH=lvOݗ&=ZBr3S%M=:EP  oe |v ~yMM{ɞb5&j8PI1 ƴRjx{;1ݸ.y[-E1k kF߱gYZ7zXZִF! ]ŗXiɟ1OVٖlḆsSV\t!4C w e$nA{d3H $%rdolhu}g6%N9 IšC%l[\CKR_b!b3D-RKJ^9_bOcUv e"jvRXf`- /:ʐ%.X&Q8q=M'c P'rP(Kru'Pd hF1QʹJ<繉)@hVr{.ɚiǒ&➨uWP3ـIT8W&D%ӳS6:sE ЀQYe+~ v*0l"8.HC`C;,5z57ޗjZ}S;x3Zo3jD / Fle}t3V/V]k1i@4L Ť"  u੡VQx y]=! w./hi1YOzH%UB>rlc혁0`րXUf,&Μ#l  *@]s1(klrɾ0G݈xA%_ -y?uiQ45 C)?Uin0$#lcF'y !WM+Ђj4x(C?=8ل4=rXe,$ A2R /b mWAh_g+N>i6uE 4W(|zԟp 5DlL^e˺PFҎ{5 <qm Sy}y$ESB#ϙN" GyZXXEk's؏dX)(s9-vSGIX%IurrÅoVE&\WOK;j2ˣL{`oN.KdB/K,_LFX؎--݅1ܶHqytY's)rU;݊?ܭU-oFpUjQZ1ypqyzjfGL{Ct.XS(r+KG&|Q#6p ߈3T^?@' +!P3Kfݧ`AT3ފ-䧶:lCT:8|g|Y19EjE 28f4x.H٬)@]ផ$lXڟY_!*$uP<~"51&^nY 9 p`lg5+LT:k]5z!.ۇqV^4zbIao9ְXo>YcD; %Y (P03]2vҢwkE14ks=I7wG րƗUZB;n5OKy&@4g}Fz4ps6RWSj\=|gDZj'Pq9c]^h̡сcDFy0VD\(hX҃ԔA[zF+y|%\[W#s ?:~ n 6^ep)xzb ȷA.#;l ;NACSvPD#r[/G5 }g 9Z|P1+wQ(ț$p&ޘ MF)@= H2d*w9%n d-E %(ȸC%*c gh W{*|@@|P nvu{c=U+5!gYZ3bc5a0863f7462837fa53cf0cc3856881df402c4dc9a9988939d5185ce4d58109b3c7ffc48063b65 00b3fd39e96e18bf037b747e64925783ae796195 942b85e8b5c86c3021f868955028bb861a0e9a285ae8d4567c7b9e81bd38d075a4e2a785236b5294