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  ` `1 T\ ] HOL-Imperative_HOL:threads=2elapsed=86.904cpu=70.896gc=2.292factor=0.827zXZִF! 1"]ŗXf1-q恈1$1|-~yߣGuS'טΪP)"Gh"0"ϑvi}cLU&0ѽG8]> fB/rsWw; BlX߼Yo 7J+o}>u2TE/}$qJ]@0uZTҟ aVwl@:sZÓ(Mk**A0h_HNYz!:bF.1=Z 3`z8kbmPA%:8!UnWA۽V{F*[6;!!8؝![&l6nm0$p!ww.b\b [Wgi1Hf[!k/<1rüYU6x`y/Nw9V0gEW*y NGdȈCv,I#7w  TJ/@"mMrmN*0Z -rTXB IUa ȷG/?ki* N 9n ULWr CF" X' r8Zo|P+~IeTKJs#v`d3;Z  䎞#O7մf^X=.&W"$B!@a!iQߓsyonJK=}ۺ-ﴥe#k$^[C:ku&:ڥ b ˱gYZ7zXZִF! C]ŗXiɟ1nhЦx"n_8N]( eOtd?K8/}÷QZWp(8foӼR09Q 7Sc8D$aP(<ɐkQ xfNApHntС}")㕂6ѐ҆uVx *+]vQlԮ.}&"&)ciR]'%^Tj$ਲ'm~E 0KX]P/:R]C:( 1 HOL-Imperative_HOL.1? ^o 8Ү*= llgYZ7zXZִF! C]ŗXi%9*W`tyR_ +XwåD.;vdY1r6P8~řjLn+E1]N%f"aQmFiM Ҍ*<,d־(YG+3Bɝ6:o(Q8ql,TF= Ƭ]gNG1nz1 O)!MƱT}]9^uɍVQx^D|Y6GP+ k稠?F>̊h_L@`1\pKPEIP@B,+lLRcw[q_ jee;pNf9rv^[?,V{E ˫\!5ɓW=ꮑmhǯFƦ\߈) vIHsfWWh^POhy2139]\"^~8*QnT_aYp~N8hmKKБs0VasiѤ_lQSTM=P;.R#snnNd} y1IA$c9Nɚ>XmPdb7r1]srZ*_0$\b9̆B{"Vsx3_m=*EHރ ĘOSmd\-O+[%@蒢AE}SPAr߀YR,uDF@ zʠoq)tqm 3&D1jrODD:Il2mxU\&CCbq-M8D٧$ph\Kgg^u8ơ"f8(R? I|4%E%1 sytiC3,^yװSIÐHcwoU* i*D׭Vd j\MvznIN">]Xƙh nESD ۝`'J"JI6/@Qfd7=f4,gk뾵/3AX@%ƾ=_-o,vK v%m¢@34o!KZݴ4'sc*Q#>Jtk'%oh (3 6A7'j_q,$ 0Vpb}^Q:RAF9խ1LԽ{:UMpr9%hƁzO01ީ5Y:^2K!C(".;._2õmz4ص DcIcK~dw Ab<ў(UJ`c.Tͻlǹ=CBXmQʄֶ1]m 88(EjQE+HY'w\Qa!Y< ۾otVͽ.8b vUlNoZiwB 9@݉p+sbPGUnÌu?ߖd0#!o\Vԛm8Mx0i1*togE˩nR_j,OFV;R:e_d1+|V]FŰWyQUQo S1zʶ_kFͻ8'ExӠ / i7Q:un'meB0BXD2'vq?fy4^2tʘ_Oz\"xt^P/Z0?Wzih^:9b2y -Hx de؟h3. A]7{(l⢂$Oٛ\FyjY!MhN95]eZLԢȳ6 A9i~{,c ket,Rs Q?כ> sP>Y-ڂ0.(=Z9d.}U2ջ/T)y=!p*&HTր-y i$_?<ʳZ\gU6b_@j]r "|LpM鼛im%Q7uS~ Yf?Z֔`nv;?}l>D*ʴyN;?CƊJڷݩWH+}{II3VOӁj9O@-r%m5ux7iA"0f6ÌŅ~([IJTKp(=fU{2~BGϑ}W{t7UmNGRa?@R  O| 087Ҹ4vbT>VJE4[Td{pkn%]W"3{Y4s[#=I w)Z|% Q^_1vbu>2%m1[D؀dļSrgYZd73e751793ab272e085c41f1c1ced7a1324f6d02b5c424772a2a5b40f2f68f25414695f3cd309066 4421303c0db3669d059ce12e56ab74b4697966f2 ea164186239b77d6cf8a77dbfd65972873cb3e5c