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  /;\ ] HOL-Quickcheck_Examples:threads=6elapsed=68.858cpu=142.000gc=5.432factor=2.067zXZִF! `:9]ŗXf1-q恈?X Vd!x{f(ǞV^G-3=5:F*i(aҋl2&;gHw6򿛔C_>=M`1j>z]v5|݈;ĭCt/< .0@3Mt橮]_quC+ͧ5] 2_2_ɫ,t (!Qʓ ڑgYZ7zXZִF!  ]ŗXiɟ1SeN|63ʏdg!5 IW A ] 訓+>1pדub9U;MW,;wUr&wMW6U{uks}(ո.2d5Z08aL9*+:\Yh ²W1_91rIZb&0'yv1|2>:!Z/G-(m'4Y$-q\(gYZ7zXZִF! D @]ŗXi%;ވ͑w&YiaS֥t2Mz=q)6u}t %wM,H֎ 7.QѸ^D F!9 vKC~u hg+ _gzX>=MVʃbX1Cɕ{7{;IU^̙c[D*BB+ 6Jd&?8dp4" ZwZArA?ɮ'-޿~XH@~1M*IJd눝N#km$$n,,w 45-k/yNvP5?:@ o>buyC=aC\1[7ס (٭({~Ӛ P:g=:x>vRT[5vd҈woC|;NΝ'Cp<ėhFWjb["nШ~H ǔJ o3w js.1dE3PͭCCZ~'ʜ5,.5+3bv 9dJY|9o IN7KjYvZDggl^ZCP~(w.4F`1QUjܔZz5Yռ c-]>!N:R*y @gX_K(;jNqZ, z.zfHTbo[,:˽2/]P5KsQn4KI>)0P^2ˢ2$C@NQ~$3L7>֐]>(Pg-\Cio3$wǭ'T.NV ҥ9[yMx3Y&MU.\}{*Cr$f ?Dʌe:C4}بn_nBx)c c܅B$(vW?6(3=;9L e*WDҧa_>G.\G\4z7rK^Pký) ѠkY9xj+wwޑ Pds. >/LE v9 c1 JCI_ VK 5dmN 6pj۴Oh:٢ c;WHilY.xA|k586{gUdWVSݽ]sCVzrWS̝om ~U=ڣyI[KHPGN,n 3 1ȤIޔ"Hw%w29mxoBZs @wz.)!q$s 4 QAJcթXhx0[1 y&iZr;/>IcUmM1=LKR$WNh(c"ap=] (L0WfT b[}?L[_ `,V~,N܉~~yY}~U5,/yײ>%SdV4-q?piP,SwIqOٴY<#lb%chkU/cro RaOy;ܑIiV"M- xtBҕá_8.ʹ7icn([9Ѻ?!#iLl$^HaVYNJjyGbd Rnʲ2\2ލdտk-$Ikأ-0k"w3nvd#ubV?h~j݁1t\ Jϵ8|-W iSL)91L; L x&RrJ.0zs_+g>gYZ33eecf92f8adafdcd3b1f471448543c78c76c89abbfa36403cf9764db93df21a36477abcced74de8 08d053295dd87951969cb4a9512b84a47f7a7d60 bc2d41c2a7659e2abc87de08a6fb06c4be4d38b4