SQLite format 3@ . BBh77otableisabelle_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  E1 $L4 ] HOL-Metis_Examples:threads=2elapsed=42.171cpu=64.348gc=3.848factor=1.537zXZִF! []ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+Gˣm\5_4 Ɋ@ gu/ڙk ?eN3pb{(`;t#W@+M:4TR}mpCZ;mT<@Bh?2A6fjJV;.ƚűVUq̧=\AT+=) Wdhx>.mF %kDQiy&doUQؽ6ڮF:]pgw(i2k8Kj͖P:ClQK\<(09-= ^zջ~"C}:cji_F8v>7.panr9T|`r,Unhݝ$4J4J!m@s!hͬNۻ=eש6iKهPyٜ Ms1s`GݭJSiZؒMF֘my_X(.^[lFrZ&YZƌW ҂E;FTnQK) a~^.kp:oB vQgHjOTw *G"^l-'{vYxg2Z;dwN|w; x|Lhm^@^ 1 HOL-Metis_ExamplesU\;1%T,06=R ǞC08x/ٹؠSkj'=~(6HzAj?×uɟyF,;BTy"p"\, wujþR"-"'5MBh3%*GUT=_J Iܜ_ ת> pot"(>&^rA{OI{ds> [;䉐5lL:~+{",,3e\Y=δ#CARr( &Sqz4iIs!-< 4IvFZʂg}:zx j>ۘ ǁ.pXװ&L,D Hrᰴ2]vF 4 ˹u͎GcJU,$9.c@`kHUI#d.$y-\\ֽH4y0C?Bvqݙ1<r[Ϙku FɩK1f[-nzϋeur΂͙o]]kLdY^UPuB*hT覑gR7je$$  ʱgYZ7zXZִF!  ]ŗXiɟ1$Cܨ }X 6^vWn p^k8huCf P=Q d7)؃Ѽ =xaie9a'{ZE#9_0i"I"uLm\k[{UP[4 +]@p V#45Ե/EYp l'뺻H՘ s!VD-`<0~Gk?LGҭ+(XlEəlNb|kd-}.spA/yJQ23ѫgYZ7zXZִF! ]ŗXi%;XEJw $D7*L8U-i˜k~t &'K TꯥR  }I!krK!tuNԁ]>&917byУԫ0.jPR~VX;z rbZ d͙!"z~}ɺps؆gl1hȂ.K5<6iP[yKw EI{bHcrT [Z Q)fU@绨#7/948ɼ詣F'qTe>-Ԝo>n&qzeͲ}LJF" %8I`u`%8Rmw{YcNsuIϒѽn -n@=yӡW*.$qkt uxDnrnq$8D3߁f ;a"m4F0ͨvJemjN&VJ4˛o,COBP.jt=P\+s,+K/C@#zՖ55ap%B~|+?[QOljN76S Hjפ7k1Cx{cFlO9aZWU9uɬ_{n)`]UqEU3$u7 X)Z;mhwȥ~۱sl%^+lTTwuH?0ɿ=D'2ki_1R5o&U-s7zݩ lΩjK' 1#7Rf${/mXkH8qK"Z| n:f (}Js_G'Ű%p &TL@H^? Ta_[%CIQL; U'M\Nmcr;G ;_?d<LsML/ '׌^7DJͨ[,|&*:énv!EA 8V\h5=8u7Tg/}u{wr{*ɦRu\?EVn,_6`v 1\^tGTI% RPvr0K) Q|=c=o`3HGlSL.RxʑsMTL1A٩YK;I7N驉, y ڒ칷蓬_yQ8{S(&eˏKT-qoG/rd3Zlse!jefwDe65IV[tq/eۤ wo,`\u 3_(.GO/;,3Zz c4#.~`쀴hgČ_lIY7 w3U<ؤ \:)%>(Q]lO #IH /°[a󆴝WCH,>N2R܉ D4;=H9K( gJ7EX*7XLZj ?0z_}44Lú&\I@3kxy-ǁAh]aC쪏ܝؤ<@+mZO7T15V09o֝/h_qn4SFLDђa{Z3:A`\Ay]΁`G^~JIrtƐp\H y`dYCueSt?<O4ą=YKwd\cM.$ & |0L|J,4Gr}Y̜. Sغx%W}9Ǿ o@a Up@Z/;D! w9+oT ;Ž)*5; J{b@NU{n>~EjG&t<(* һgnUH]=>}C%^&ƕN "n 2M0\˰"0IC0c_)F(e͡86LOm5ڒ+~UCTw rm!V9|LXU? f)*kc k婿)`p.lTWI 'P;Ī0 Mꢷ!TDH1썄|a|wGzwdM0W MԵ e,>k1z^Qj扗؆8/0ȰϐV+Ae@,FՙqgYZ3922efc05fab4df87e229269cc27e46709e40d85848658d617e1d31408814b70d854f0969b4d3dd4 982c966f6e75dd78217f02ee347fdcbadf6f26c2 d917d16ccc38ba570c12297f3bb3196d70f93486