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 z7 T ]Pre_Algebraic_Numbers:threads=2elapsed=18.370cpu=30.136gc=0.484factor=1.647zXZִF! ]ŗXf1-/6vR[]SZVB@I3Yf/jG o^1Q*${5;;ISf;$0d%ޱ)IUZ-+;iJ)e);2w28U)lnY^άiOkPW@?됏"HEa'k/k'K0C8w6ҺyF,W*Z4x0d_gR@.&Y2N2tBQ9tZS?7cw1fS{Ic KJ{] ^s ? b!i7hC,iRzr 5{,β{^3?c8;mNH^`"ǴA1 rǂ]ȼ%ΝHn3 **X*8>]du'Q4r5I. VznHpq271ߜr  lcf?GoHl'dE+ƍKGYIDSt!;4G,8רep˾.yuB'L盻I':N6«gY1U} <ċ'aC09{>@;O}l]XbH=̤}ښͬUfDv!IE~0͝YTX"SGC@^ݬR 0.u08(W<2#-K{uuqT/u»W0GRcﹽd9}סuy^"Zԩ/^ 33x4@ԅვhw u=m, $Qt,:4NDRiVykd '#L$h>MsZP|KOJM([Թ^uכ#a<4ƁU㰬jsٛyqt=y$`RѭvBUvf(fZsYRȳa/6`)c܁ݢ6P ʅ Vy<5ҡw~9Jכ'rI "\hM7,cB/P[5xti%9YH c忣8gХN/cG[$.!c[ C)yDv&1[ u2x\@$׫Ȧ:Fᜮrv@;P*et:er_ kŌ}}(S7 Vav&eF{V]Z@Oe:k0g]֝V$pN pZb ǎX:ȫܛ{}J &l FͰsX t\?0wi}1X~j8/ꑃe3c r9IU+xI1*O bIA+@yN؋c*~aGw9Rmw+7TLd?ZPpY*)fU`LФʆÇҶ)bq )QY&SnRnv_uFFyuEMf-} ˄Eb р$;j4e"y{n2I-9qufmvmӖX 5R^*oY!Yl 6/h