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 ]?d4\ ]]HOL-Computational_Algebra:threads=6elapsed=31.804cpu=100.680gc=5.200factor=3.177zXZִF! / ]ŗXf1-q恈aldC>14aUV#/|) jUe!HpcxQ:AbtjE&zY쯻vE(<7B h!T8PihJ]|c>H̙4\{ܬ$ rIOg_CBJ]fpNt|&lx#OJpZeѳzׄssD s ~6%҃MI-̇fw~m W譖2TTcrϖεYKnש1Q^Zh * ? HOL-Computational_AlgebranBKj#g䭐vV-YٗrPIted܂IJYo#~$VYik̪mXWc\ϥW)z[h Avˎ`V Eo'M& A $SZ}w+߬]{ S-7Ra+]$ Ϥ7>w. a[Ck* `U_8G~/|Jk] >tqrh?2Faϗ)b .cD׉  %c8Z.(N ]gK^WןNTH@@gmD7v˿uv0xD-(j1v}{1nsP̫ 'GaW Y$ k٪/:0vI4jrc݌F|zXLPpXM_?'OUyEs!Y526mP XhP36&J(\p鬡D-ۄ6z \90c:DA+PJa~O"2%D3FEz,": "gnN+j-":%=v ^E-9h6aWξdH)R#r{m[EԞav*GQ/ߕL5R}%=aJs3IS!@1.FbEJV/˲I!)$Rmpm;V]$" L><~܏3j"EC*xDi[0`ͮ~] \/69PuEɒM&o TeDZgYZ7zXZִF! C h]ŗXi%;P{"ΣHϝ SLc@/+]$P5i*[kљ][d tPMOc!T| 1*F$nPGpz"u Y˨L֝ȼ5*Bˆ RPp]۽- #^) 7j1FS\:\8&W# _(@>oM \ CJUW=8BQ@6ߠW+$ِ%D-e0dİ-*|fr͋}d?w걦ZSwNmF![|1r7C <r%3"h( =Tv`̆=;꾣fӮ^.sg:‱$GlH)'R!ejMbs@c! ىMv=c6{kv^Kc7m%:e3^߭aaEŪYK7 >vwTx7N/֔O5$=-{Iǀf!nG;c9 H W/(gQiENY,SWa2Jhr;Nl *Gu` Ig5˚i'/BFz1-up,]ӽVitۨ掤}_hٵ3h 3kfrh+5n>^~"ҋqs2A2dR+c j,Y|$ycց)ļ͊e$U%beâlر\ݵwZdB180Vd.Rdž O~wg?@ OEwPp|*wo^A.!-C mK 6nrĜboӵ[(Ӯo-}ҭ!\n#/>e޾]]?\,SBh8Woh1pH2ܾ B鱛Z*/#S86wZ</`d}%bBs+t1wMٚ||n C@w<N6zc҆Vg/nrX-``HF- _~Ftm@S_k oCK((7)cYL(# ڡ|}ky`+r-9=IBܥ)qJ> yҭ߅ e?W{b Փ-Zm(SQSBcft-#յIAS $zŹ3|.|,0mK)]ii9"W5ՓV`(L(`yq=E+{C誗2ѵdga;a%#L!:39};ڞUݬ}8h