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 H) T֫bVlG٦:kc\J Xe[sat1f _x;>3Cm.9@:qh Eq,POz8vlf|éx9?`s>jw"RWًur!1$=БyZ$x\]dתFstw*_Ӄm ӫ=hyd:2ʛ[6gYZ7zXZִF! 1?d]ŗXi%} >o̘E[kA D5ĝ= 3kF KrST| Q6ʹ50Ee='9aMkwS$t6 J-b:ޥ A0y@;)b YXCc%o3oLzTGk3qzSKkB(-=G.A4 Qh1Ê Hn*b?!DO%ߣ&H$شA=M(4?SiP+4[U:o-3~@D0*l%v:mLF)쌭P9HҞ"Y5Jw6|vu,% Äg^e(E}P=8ٶ!v Z6#rg$$B` Y5p@WfEȼ([imn[{n`%cBh"1Р<]ASTdkO'iNͳFѿНy*Ib6C6$QS%Þlqف79ҏsO3/oy: 4 4aK3QnW4YG~(x_W:MX*w*jy)7}i;u36pBn<b]RgYZ54422d2e441107a94c985566f47ba6c8bc00fdb1 70b069c01fb973ca7b7242ff41b1634fcf9264fc 80c6ff8b9b633b73ce88466aae10319f627f7b03 a38b3dd93eeca7b645dac42f5297f6b177932aff a9fe49119bff4bf429d6d8a087e420d260a29e590ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 5f1f82e8ea2372fdd21d466e109fe845964605f6 ) Dynamic_Tables