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  ztd$ ]/ FOL-ex:threads=2elapsed=5.643cpu=7.928gc=0.196factor=1.417zXZִF!  ]ŗXf1-)<=IOΪB@G8kPB qj[z%bc՚L,n@jQfkڊl*:Blyx[N[3:>׃D&H'Z $h*:8w/a-}5ɸF)N_+\=>N6;%:[GXڜAdUgYZ7zXZִF! +]ŗXiɟ1 UtjL+S ^- %}6gXIyL2hZd3ڐ#ۙA$rRkIL A9M)w29l. :/2¿ui'yNlYmC4]CFk`{$N+BvB4. _=_\{*TٙaB_;+˲ܧߏݯQnnԶ:F~fDuV=rŌlKiuo*u|H9v @*db\E5`*XO=%,'S칯Cs tTJNzQe/U ǹNN7p#JXQѰxqjOZf/YWږ/3>_/_ =dr>cC" Ha_:jTBq%EuJbtM+.=(`/QawڹʄՒnycjxeߠ;{0d,+oz0ǟr_2J$/Tҭ=?.侥SAMq'{cKRt{XzPGV07&QJٕ,n Zԗ_:89~9E'WGuLfB(A*/ỵ&nw[9r}ݷ, \)K9,P_&D.8}]1k,gYZaa28bff6cc63172b11305d2899d5252ad9947fcc87932c6edaedf27de51c877ca7033311a89eb072 cf05d72d05ced85ce783e18a4d34d6548bf3bc51   FOL-ex