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 XX%' Dl  ConcurrentIMP:threads=2elapsed=22.981cpu=39.300gc=2.220factor=1.717zXZִF! bZ]ŗXf1-/6vRZy-`}$=O]a0_(0hzV_lR\rAbG,J*pi.͎RQ1OE wEWx#,\YҌ`AT Fo((ڷѱD !lL\r`Z:X؏PD2nS,"oawjx&wy@(dDŽ=',C>SJŅ$j|hXG}K{ JJ{b#eQBY;Vubu_ cj`2l{܄)sg}١/j9?RR3OsL7Ѩ{%( y2fD qFsUf3b |iV2X_4FPDA}")nLB= sҩe3rdv\^Y7 axHUs0Lߣc>%+Z,)ȭrQKy!$L\ay]KZPL50oz7V]D />qX`A  #3쨼rҙ9l *6@kiK0C#ߍb,CĜb8_ݔ1Lz&Sk#ە=x;x`· |Nס&D nz3^QjwNٷОgocI>}baOEPOm4yؼ& Mm0,/!Ҽ4~=vc΅no3ӊ]#^t 05V$.Q$G"{f8&NД ] `ɻ1Khiqgp57D)8V`qa[2Y.jP=㒢E#qKe4SeO^qPvFF3l^JKבe[::ŰG3T۬һ1%P ] FR, ջٱǿ Xf>ꋓ0uA!sEOH8Xjo_xg^k#s"@<[pF@ W9\C\~k2"g5uT 8LgYZ076a275d1a7335859d9ab7f123afbb6fc703e10a 09e822e578576307ce4efbd535ac1298f95273ae 1cb50933e77751ca1b1d3554747156be37cde036 403ca2498b513dfe276daf04607f35c6828e8166 6b4a4ae76ef34970522c8339d9f8ad195fc4ae01 7c49de5e9b3ed6cc22e840b8feab24d221e42996 8f7a0e511f5f63a4ae08db23eb5f2cbe3f9b60ff 9eb774097b3b819ccd6a4678f889ea1f52435831 abb52186ce0c45031b3ba6c2704d52a3ee29a821 b60ef924e70788df0ca6e11a87f7b3b8dd3c2b0c c8b28635b2e5a8aa1607d2d9124a98e97e15fd40e4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b ' ConcurrentIMP