SQLite format 3 @ .0: B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S- indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info !?d\< ]]HOL-Computational_Algebra:threads=6elapsed=49.982cpu=178.556gc=7.856factor=3.577zXZ ִF ! S(i] ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(AKR7x*hZO$bq=vSy4韌(-W]]~["qczpqaLZB !!*ۜNorˀ\!:pժWRWƙ v GD,'+!lLmAgz 3ͬ<)ո $h(]CQ( m>j.{Fs/ %iO}knjðlMhV۸HxJŌ$gX N)Wi|,&/xǑ2b@Js/4LjnxWdn3 G8 RѭHh /'V@ъ'ĉgO qHC@j)Ͻn?#:̃|0H9;J#Eg5wP.-^̸cy"z};R>[BA56e d}M\yT}t}pΜ$Ya&SʆΖC:iܽ&f#!0bv:w=<y8ȠRb {&C?i ([.M?̸:_ *FUQ3,";*bGd"[~)$Ӥnj~I'}a>uzXݡ!HݗmWՄYA8LZ Ś/m)Vf\Φ w975HS& X'kJ&HgUZaDhKLAz#hq\ c&6G:P~:<(v#,P#>ba'nP*%E_-mfSo}o-- {xJM{ɓ>->G =K=H5F9_/|9Vt#!|slír۴5ikGK_ڀܕ~X6g PܹtH&tkGP\n4>@Ar&;ampDf%/XPvŕ窐pKe&D`a,!7[^ŒM<*j>C:c3sfdc孫OA[m$.TфFAដaV|؈lM9t!A2*n[ ӗUc<ֹ$[BDWuah[pއ60pVfqNfHd"sMoM{FYK/:Us|lfy3t 71H&Y`jOO=? 7<*7Э B#`m!~M\W̑%ԘoʐQO Z< pzU%4xᏣdU$هu/'Qwaf^I,ߕ$MSӀ4©WwqBrNL룎 GM.X)畤3d~{4GS~0|FCG!YRЌV.T#X5G{0 BIۃkMbJգdzX[&ԷP(˗nμ2PVGtN`LD0c~@ZxG!7Whyu&B^cYZAʐXhWPomᎍ`|\ vU,?sPŒ 'VnˑL62