SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 u) $D I/ FileRefinement:threads=2elapsed=10.846cpu=17.912gc=0.156factor=1.657zXZִF! L]ŗXf1-/6vRZc/[؎ V@zC:K*ѵю_A?I-T{@!3J"?\ֵӬya> vaÕz˥hc2| /edZ-Op oDr2ٻg̑gku|0b1/hl, ̹٭Tgjfm6my9P產?~vKf\9%#nѸ-Jy$y~+],+nE[pYsfHR| W293oY!?#@Y 9imAgYZ7zXZִF! <]ŗXi%w4pInZX*Roٓ7ی3+&S ʧ% cdGHuu=#_Z6K:Aw#D Au5I.>V1UBr Qr4d%0#k$A$>~ŝ 1]v2k'fKQ]9_+zI(IFhyTFx GOXrgv.c\-AoMIyŋj:$C7|ODO̻qiLۆq@´'4BèT^]`B.xd^y(<)K\\Y7QPs0Ϣ.5E0qӑ_tϟy!4tOzb;+Qh|.>WXKG:ukxW@K{+@OEU]FH DCWDv>C{6LzUZ2k̽9U]j^ 0{Fr'6Mh{P9 C;B:NROcoc;Hպ(9f?:@Yܲ ^ji;)_tJ7 n|+,ʪ] ߨmpc j\0ms#0׎ DUP,rᥗ1uIQRW|u}l'h2Jdvm]qݕ.N?C_bh* ˞׹.$ȂU--֜>[ì9"W;-@w+>?/z/#f,pz h6AzȠ+ zof.'- 9bt3ҹ! "`<F0o7{x3$-?aAy` d. nX~ã !V S!y"gYZ10d3f9caf91557b4e6c4f250e850a2a5687905aa 10ff34f104a3e359c9f489a19debda3269cab2ed 3409c0e045ff2dcd1a56ec68c8830add04dd3737 3a827de45c65a4b9570929b4c7b826e635947b14 9ad482ea1ce287427e91e9b3002c3c384c0bf89f b80cd2c3354e8be697c2a705491cdaec817ddc97 bbf04ad7a97683c0d9b3e3d09e586e5ca645e135735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa ) FileRefinement