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 7 lt ]/ Coinductive_Languages:threads=2elapsed=20.061cpu=35.200gc=1.540factor=1.757zXZִF! ]ŗXf1-/6vRZyѺ-Gl5M*.~dнQӪԎv5yz: \Y}aPS\m`FYkK̟=%RA6Vgwy\i۬5._k;Y\'0╀)#MnD)JeL 26ZXd@ {ˬ=ɲW˙78RDb[\'R' 1wuۍe:y"ͦA]`H{Xיu6&LΝI m%{)`tt OPt2Ao^VH䐩$YT-Ys@d6ʳ*Mŝ 0GəYJ".T\TN%Iqh[@ C{R1jv1A=#\5e1Ei\-dGL]5P$;Ӊ.C) |\1g7X+F<㤗οoѭ2zJi.?!]Zf .׋%0e( rڼIB삋pyWLmP? DFҊq˹&1?Ϲ|Sʒnk\fG3UMz0f |Խ=Tm:5&%kb\Y函m +(QB1wgYZ7zXZִF! ]ŗXiɟ1˦r~KunύNN{ys)9i{w/@ NgVSB_o]O].M #uobұgYZ7zXZִF! l]ŗXi%;ŸrZCQʚ]sюgCP7~* `\v^Yu}o5||u0a+!_9.A}wmHڢ]Qrj(<!{5x7FoA $=8D_bM4U 8@{^wFE/wm (eɩa\Ú#*e8[z3 \kԕgf qZD"akUġ[,R,Q g?AO^C i._l+% Eg쳟j~cff-pLqPc/7N'ΊR.yZ5-0kO7$Gɤ--^7-O &3G lXkUz\)FB1 &$w 㐬u0jL`f.= -_S$p6LAaz$(ו&M{ZMnۃmhʔJߦHgcYD-CZ_zl:R;l (X!t%|pY6ǟZrMcѡUbj!'ZAc$U…hZ-;Mw]4\STBhbآ1{QD-KN&4Ge'd=N94'J`[9w>_{fQ ~fl k$W~3ՙ}?fUȆ rsK @TcR=>Ev)dA˸Z,D>,lVS ~ڏ)Ϸ0(*?+rEk̜2Jx28 `C"ƾ-}#<$x7O[lU1ýr / 6q2W%֓ ,:ӗ: ]%R*,|p-gW3sK#{MxcF6NGO2lu1FVr(:rTgmIRנ jijPWTE{RGd!OsYaFFR'0a%Sz&7btbB0/E8RZ5ӶE2RuƿI1~Lsv[wh\gSS} VYyXgYZbbb499550c83d356b536cac7299209130094272f79d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f 7 Coinductive_Languages