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 ss / d ]% SDS_Impossibility:threads=2elapsed=55.737cpu=75.960gc=1.796factor=1.367zXZִF! =]ŗXf1-/6vR[\NW,)IFCOt&; 2[Y Q'KBe2B,믱piI !f6y~G^XqH,8N*=y-/]*?g{EG$(fXҸ0 6Ql%5}{l@$MĪ jd;JM=f>B"Ig[cfZT10:[3=|4"2-j #fݮ ^ E9KnXZFo4"%TF[,ad-'vЖm.c[I;zU_Vzq7+ƭvwEl!$ W}v p= eKn*┳ZZ@`Ӓ\?czg(+ Kdl_U(mqͣИ'g]{ϯw)ǒ#E#uQ2./vcC S%) ()qQaҲ^i.p`dfADz!R1XsH})DԥuD bI:0hgYZ7zXZִF! YJ]ŗXiɟբX LT9W"qP}G Eyٿ膔ݢ@Luu5sH<2fZ}YZ7zXZִF! b ]ŗXi%9(SN' ?)71 LyϞIsӗwd+O >J 'GS؅@G>+F20Z1oxr NۅVJM 4v̬[: -J׃5Y->y[Άe%yZC\v\_ J8> ԛ 7VY_R`ˑkZ^)ړ#x2v1EevzU;4wNڦqղ FAO XhG4--dbȲJc`ci}A{`x2[J"!/(e%Xq'|~8A7mF[/E<%2Z8m ~j[3o81 w-#pi-jsq5rP3rEld@Y8*I5U\xL$-$:w3ؖnU,"j\㚞f3` beLߦ@w>؈ш*.;۪9`7҅ozj!Z[$ SIB }1\CQL?ggԝ/0m`OQ3>2%ɌUa2ddDph1j؍:Fo6,Y"e&x`Ŭ>%@;_\{FAu.$CA*/1Cu&swN/ü.FUˌOP8o}l) Tڈ _z=2o':Cv$F,zUujo}DqCiUgL.8D>%*+bW؅@dp `4W^-;ȇ$|o Tz,6UV OȫO]Հi0veY\{-7q(GYܡ }|`Ycj~ *\o@Qz"¹[]M,6o%Â?irKQD,x6"b*{/e$ԋX!96ķs>Ɩ8z߇^Fp7)Ch&ٗq;Ů*N,_oyW3dNΔbyi{b64֭]off&n烽5Nʪg]fVo# \I9p\XG,sb6Nb˛|+PjX,-'˱ /ZIbh&vL?' A@cxke R zA6G[8я^osWX!VVIcptf;\kKjt`⮩ ; G|pb䃅}Dǡ:ϊ e2ww6'Ne:BUK=mvL=f00t7u/Q0]#kCI?^) GSN(3ɢ D{Xk>PS_,#.)w[k'Sq![4: $W|k-B#.UZC]& t xyZp.0{P>^C s=1^CQRQ%`mr5p~'Q\ B8SzI낈ҲVp[7 t&dFt,ͅi (6 _E@ew٤>Kr f;oz.>?/S@-,NM.u<yǫx{#']wC]k1DfK!AwY޽TC.% X6'g1DXN&ЏA3%9<6wj%ʁC8gp"%%1jO!e_`)G5V3"3J0ʆeq'dfn 'YQ02_ 7s:[#y$o={UcwP e:0#M4s\H 9V+W SZ,*,H5kvX8nlӲQ4H$6T=SBp{W"P%xCeÁ_緜-5qk*6=e˧lN I(>b'>Bj]0V[3Coyj9m[fI|g2 8%5m>F@mDB2_ک(lBJ8r6nFFްXz1"ɟ&5,ևDT*'6"U1a})@!^a+oDbBc{' }{Nu*vi'0_' /6B6ۄ |$szDvx-ma1P˥eNd-Ϟ}vC_!5 >FbwQg or50YtSTcݙ+R.W= T;-hx]R۲`ٰvOÙ%vk%}8 2t^>?i9*Sjw'xIcZȷ瘼&-m-V2by 2`D8 !P@CA$8h%?vJS-3F5u^j:2vb\Z$w#.1gYZ18870fbf551708e1e34780f30f6329dad91d6fef2722ec1bc2993f9863f5084b9ee07bd97dd3d36c 3f001195d7415da4b8cf06d884af4e156b801fea 8685a4e92669fedcb554c3e1724474c49917d734 80b95d98316c5dd540a19688863ee03bc56a8b47 092c6391ae01d19812922fc181463a672219494b / SDS_Impossibility