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   a/,6I},K a,ֵᴛ^AI`,zJ0)3/vtgYcѦUKi9lLqtDì1`F#|.[ltn0^$3s9졹rJ rH8g'0rᴮ _-em_NbRфI9hF'j>\]fUu(k|z7o#}yQԏ9U cز0Nj?yؘshv7 qTg[Qkzf&Uk<|[$}-h}%C}7=97-%M'}Gu{Lq0>"۴3?/ĠϣE_v OgYZ7zXZִF! iU]ŗXiɟ1˦r+g'^.e#M˶pFrGmnwG!&YIH-=Q1}@l>M-(?fm=87A'Na?Sq> Sįݴrn$:φۍN3MPT2Ej$pݎ 1:gI[WZ yz`YYS0B;Z'7sQNG_0'@ yݻLHbv~gw-WcF HGi-(SdUfGsnIY4ȩ4\ yϯI׽彊бgYZ7zXZִF! (]ŗXi%;w6 `)$ά>>C]jR6irRe TVwߺ!Y?Ps RӍtiUu,E{'G$&LJFY_tU~[AS.V1 tW S ypF@Թ?WU~Sv\sRW#mI`˧DؑnYcC!^ !7=).AtԤًwM9?NRI$*TٚDT;;Vamcy-@c'` ՟ -HODe##.f|KAv/lk#2rl""I= FmaU~fK]̩Pߞ;iV #>{lcu}%"qciwl'Aop~y}2Xa-\cڳ(@#cdt٨ levX`Jo.4}q9ܼLkן7UCk2ɓI(~xF&MR|6EcŽ n.Ҳ 1,y21\TȘx5b0S\%gd;U~wgWK7IjUyoR94L &yK7QP / HOL-Proofs-Lambda-4jkSVs dwp8˳eh) '=P.j(Ÿtڄ8< f@d0f/)Շ~#y\9uY @mbIyYɲ5ʅ)Dv" "$?@J2A+ F' 'ԩC.s3#kl@S@nJ-0ۯb?H%2e±5;>ThhR r>JRM7TQgR*9 94qz9|ZyDQfHSlQy X/!ffQVT i$M 2.WOά%3FDi@v- R᪓S5*(3nH/8%MU4*Xa#&J gj*))9f&`-Y˜XX=F$6aPmq g 5a&YGj*lO-\3˿:݋̇Wfm[b:<Ӎ1_3%M,(}{#-@lBu'{L\j"9Wbc'J1W cO(cöٖ(!a.; Z\ (ꐲ383;gߍ4ƒ^cl(;zAYp'E`j;CzrP'wZ_T9Pc)SM/8kV+}szd:Mqiz3QncܟZ"6 k= Dŀ+_{>KˆУ} l 1bn!Pp/pqBn|.)KrjPϤnJ$"2 ^Jvƿ925u,gm 5vU9nTƑjlZV y( "P [06|l|gieqE{לk<$0]SExb5=8'{Q9kiQe TovIXlw>msvmfS{ գGX*=6e~&l魅TT%WW  X~D)?K0fk`, Afw;3[طFpsiKú 4 Rո} ٷ`pkhUaR(wN& . %εi7 u>#9`%xUЖ3aP3MAWFKDNiB]x5D]Oo'9~WpE9wSA) 豈[8 oow4gq}qt0\*f=%8~lKh1~La}*'a@S߰5ZC?߬ B355ѕ;lY4ɜ'|BJ)#@ $rO 7dL\^[Kd%Esth憇,[`Pm+*)!*B}6K!UFoF-ӏd'96h#dtWe |%Y廆q6RTR:>s cFA:qgsyo /'6QrDE 5=cT"&#  >)S^ҿ ^rUfLٺR5Sxy5aHTJ2\Ly<.2$D/Hjayob„U  #+^0{h2<Bj.EJ8UI{w;ڕQ3:+#KOMN!dd#_NK+dуav }v"`#ﺺ|qZVC>!H{w/E=%r g4_]"Lw{.(3 [[Mr5cr힣ީ雃S-"ίmY쾧 B_~BܘͳjFgP-ArhD_aL X L_{*Џ$*lA޺p`òz6x]5:R#hA&/rZ3esKyONQb^T?3?c+F'{ y}dWy,{i3R#]q7<=ɕYrg_Yf)KǜH4QM!DLX5%Lc߮ 0ėHd@Iẍ́hj7!]Dgb^4qQ;D\uv"gU*B XRu?+|6=S[-)Y1^4q6ڍ(K5vVjڅڷ|o d\/JҖʟf1mZ_p}bחn@\iܜ8|C$h1>umqSO{_%S$OҘ+38hPmnqG> _^\&]yu);ϣ _+gX= !]%G*O6HyszRl4 ,ˮ,Hp;wS'~BC lh:o lq{j!V]׸.{elk8|wE/H7A1AVL`kh>bg/v"M5ngpXu?#}A&eCZTn}q"l#^.P ,bޒq,Ӏn0qncPŠ'ӛ5$ gYZ8eafbf9f35dd732e0bb702d19307d2e28f51f1c554cd32f4919d850faca17e94e357093dc43a48d9 25788cf0fbd69030d61167da6b38b5e798600f3f