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   V;$d ]/ Proof_Strategy_Language:threads=2elapsed=135.740cpu=92.584gc=2.116factor=0.687zXZִF! :]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^\4<:}+UJꆘVMN蕗{3KX ǫzc%'OԔ1xtd.@0h#v&`h|Gf:HJόߓ$S\f$*:*J>hdE|ʇa@,܊''" ClFjFJ;:Ol9Fg0ǽ[@_Cla2>R\dHNSog/li,'#'#8Y~Ck.kѲ Y Kaʇ5zͬX]Ķγܠ9Gto7m&zL< 4 f5P-`6RAm Wv,²!Z7ʏEv[U(.gy;t <)R4&.a-ȴ{m,!4&7-8ukkA@Of{ݴ6 ,>y[5 LdT K:H8i?kkCQ e}؞z<=¢%ә\t6,EolϤ/_\i @YWpaaACY7༎}'{_d<=7U32|gW$R&$m,ؤV0h*ǘwتr.2:bnQl/¸(VKY,,N2ilx+?6 )\ r7`#E,B]ɏ^ư)+?v{w$3i/<о4+uSD,R3US-5G8%g5y ͠) Hq|" 1OWm#0\E.ݭDtÜ.~}.2iVmhJ6s$H#Ud^b[Ww1G6mrኪP%Ԍ ቒ/3C}'0 ٝuH@uS 6~M Sn=6Nڹ6*.4:p1`2l ӍLdq7`;!JO..l|[l '2 ; Proof_Strategy_Languagel$0ؐo]Q x2Et9@*PYqhܼLE 8>!١y1`a4F_|4E e;;6 u+=c 1aķ3/g\x^c7|M λB^iݞU(sA8 pxmBх oumhr2KϪMü?_Z k]GrSMd{p4BVy(9s%Ac u׃` Z}B/U{_.)uI|p76"*Wu vǬ ~nRW€S1,ނ/c)WM{.6ni$~Àތ\v7O2tJr)~XRjfNTeo<quw܌2; ʡ~3AjGߋjziFۤ2*Wۡn8<V17Xlm#n!@uץ&"Y3`櫁+=3S!LJXblk T׳ s4RSi4!*'[ּl@s_¶GuϢ@a@qRaA/Hbp*0Hw/oEVxj_yE谞3a6.sc1h#Lׅh`L-G1u+Mq[6~.*`8.*U⬐M m|٫HGB먡+ 1G7Ubgclp$$4fW^ɺﲫې>.ֹgcHO5]2Y`]S4ERicD;8_ SY%֔UDLe` - 37l?bB:愭U_fS١ +>n&n @L66f:òCq&Il|]lX+WYR4gЄ Q&bA|TlsE= ƀ/$(5)ݬJj74qG#+HU$Rnj;n|'eKaeMT&`1QB|l'ٹ,mS1Av|PϞ G7%"!$ 8ԔRgYNb, ,>vc#w慨8%:]A"2q3:pⱥ4%ETml7 }CqHp2+i4RR[{Nt۔H zgmg QGj򀧒cPml?64`#joh_YŃS7;Ll؃r_Rt@FIh䆯i(5G$ۅ6;O[lP?g3-pmom<9HyM4wBn\"@i[ 꾬Ðf2m jٰ~*>[ޠfumN:U {WCˌژ2r!V:[sДV=`9~W^ω籋0w1Kϋ1nbjF_\Bm'U9i!@9$ƫ, bS?ֱR-T&0>ckHtiSB֙ u-c^f־`dG(C كggY5ѯ+Lz)Q•6f$\:V?G9bʙEh!Rr}^b 2s _ ٙBU.S>vyҸSGQ@@/Y.0 */zKja2trZKKC!i%\!@5ς2%&9\aEᲅ kH+`B6)9-B`ԧtIPb5D#**936_X8fb@rWq݇@n-I qpw?W#M}`L N6} R%GБϧ 6&qkAk֌cO{OB|CΎciV nMM9ڭ|W= \<}hx~ܭwFI< s` ڇ{TMC"#0mrazgb4 d:v:uUe f3'&fԇ6RP rac\, PMdMkDǍ|Bb9Uq3?{'d27vUq*y'[[STDiHHͺjdždrP?_wZl&t\ Klى6M-džЍUuUKpݮrS^ v*1k2=q6X`-!2S=uzDlH\^PGQ\Dҙ yd.vzf\hI`{ZլCdgcqіWN'nMG{Z`;*BNdRIF"Nc"P'wK? r?^q1ZkPpמ YWS qmVܤ"114;)m$~pz I{'}ğn{Aw(2Ui@L<} OJ8TSA>wH h*s90^ Xڑ5<&LsqMguZ5K, .bŁ !796I b T@׼C ‰LoZVj:շ|]