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 m5 d|l ]% DynamicArchitectures:threads=2elapsed=13.301cpu=24.924gc=0.708factor=1.877zXZִF! _]ŗXf1-/6vRZaKSt$uxem1o/pA"6΁oDPcvMԷȑv]PPV ͷdKIq{Ѭӄ㼜z#[}GyB.^aBn_V40'c[)[bշG Y.Cϕ2Urϩt6[4+`Ix %}wZ~0Z*Mޤm 4['wWKz ӿ2놽VgN@ǟg^TCoEo K(+JK_3 K"p ƶ)? k ĴH5EN(P+naJ[gYZ7zXZִF! R>]ŗXi%9#c[ʕEɩa^LUZ HUuT&FYܤ:6X[Ð֒odYQy~cq)X.<34_*ltmbRM djEmd.覫 z;Ąn ֹ\kLL깪pN1Hñ:Pe >2ll.ƅCU5L#/̿TZ3ȡ:!fC W4ѭ>U>#̿~5XA&+l\\=b[ŜJbt0=4 \B㽬ghڏ1!bZtAkT>W8wXCA$މb)wXj}v:s%a3'0 a!Җ-|'yGqdcqsMΘ\W%z9 Vkn ӅWL M*խz!_xq9^͒>2_/z:z hڪ4 ^?&,E%9۸YS R /OIήyà`0ۈͽj'?AM@|onPFsכA!>S4:Y!#S=l*A$*ڶӤbn2L,FBBG٘?y@ͦbBuq)?UEKgw w Y.0׹0 Lcdz#Ydol8$);JQX|0ϸ#p'g9aPrs*$pf[Ŧ(ofe#S-sO~չU&1l[vu2˰yK]ױ<^C༎A.B5Y0;"q)!磊<>uA7'JoA*v`_Ye'lejZ#70o[zԷLsOp0cpʓYWN 2`X ~u(]Ԇ2<#L?EO۝ OA S#{0J(4FaEZ5~PK45+*.ב,&~'Z44Zbdl2%}8-YۺhQ}r,vq37} Ņ)l]L_Bq (a _`$ыO!^ 7gYZ2b551dd771663bb6e900b682d7a79e17e812a2038ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c 3ed685959535f1327bdf7d26aedd8065b9d7bb35 5ccbf70c8bd01fe25f33a8f64fa29c599d91cc02 5 DynamicArchitectures