SQLite format 3 @ - l l B77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info Z Z 9d?/ Locally-Nameless-Sigma:threads=2elapsed=35.245cpu=69.548gc=2.636factor=1.977zXZ ִF ! {] ŗXf1-q恈 9 Locally-Nameless-Sigma ܗ4ޤ9i bdaQMFR`y4ˮn(No@2зvQMǷ cg-Ͱ2Ke-~"y1Ox;?WrRj05xdGʺCu3H\t\M..̬4eEڡ s8WNլT (<~ [)v&[)T(#*|0:4}XrƎ$in@ +0v(kNbxUxTmm-Iw}׆"WMǚY@wv~o@}Is6Pp?SM0돈QFkVԴzDɏ]V3U4U6I=B\1; S ij#˼pk~J}F 2&;Fv2ii3ykPځF)0TB?ğ5ceT>O6vE^J/:g"L"M TNxQHW1sG5F)M|k {H)9FA^~,RɞLqM- )PqMֱ[F&6F6!A_#:_AĖ8<WJ+Ƿ_:>7KZnGp D uE7as(^@캪Ňlxxs4]lM'ٛk3hL_+hr,y.%8Ǐd~] Ia0Dcb"AAs, V$%SzMbs>N4?uyuDieӀ:dS\͡;X#n'^6w?! ! ,I.AnaXdtkyF삢Nm>URɇ/?MZmWӛވ^8iM1lwbNq2ך˷3~ D`{*4bn45|s>E e}_Iyy!@7]'mOծ wi4W\w%~iv1uҁ(5G#2|~-3FE"ڲǾϲ`"e9{G&货0YJ\3Z+$UCO1do\£Fetj"MiYla&SD:zjn/z9Y]#h,vefovvC m$O%6yΤ^8-WYO٤EsbHտה P@stG ds@Kwboy|*19bu |Ԯw}vMhy?e!0?}R1J_(js"Y$xёtal\x|$.{ܴ50`g.I:+dw8D ;ZMQcե8OǠ'½-:[S 0 j3m쏜ұg&>iz(E:tü:{&~| 3}D:
O[%:a\ր3mʤLK$az@,DĖ`>Q6ءh&g(c.^uM*1H"S7
'_篢}8(
髁_W*V"]ٞ_Ot3yo'=Mѹd:<\7dV3[u>:"G<Qs~=EUz =4/Xdڤ&RO軼{"#}jYKFshNhtyVooi{mZ(8oMf T
LڑF)pkk"rdE:9|Q,.PL ]
Q&" ^636s ܰ2v|֯fc|NӇBoF~=3