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 aa' ld ] ConcurrentIMP:threads=2elapsed=21.724cpu=37.580gc=2.344factor=1.737zXZִF! @]ŗXf1-/6vRZy-`}$=O]a0_(0hzV_lR\rAbG,J*pI|KF8˙::$BMMT#rdQe*A8o07C)~E#BdA6=̇6K2d+M{WZ9\_B[zՀAʬFRsXtjӾFt yzPN}(p=&V&']U~ WS&?ʂqZj<̠G~HE9_+C~/(趧rae\;ӧX= z** .?e5hs!)xlkE1[Hbʜ຺}@H%/37Hpx/JL"^u76Cegy +,noc*4+zQEh䳻-{͛gr~m_Tߢ"Ӫ(2M`an^L,i# Ncr}ۍ)m=tϑ.;w n+75Ub߰yq]>٤zt^%gYZ7zXZִF! ]ŗXiɟv QnxRɢۏD?w#? 1O-9TTa 8`|V$,k )/r$ǀzNVt$L=$׵$09'J#F`լG ;gl>eMH/gYZ7zXZִF! p]ŗXi%;уsQ01'U>dlok$!=? GZ$dbJL GVhZ` 01  d0:|w1<>/Yj^Ye fCƦJK+n?U4S?ul 7aԽ`4C7' gwlAt~b?h qk($^hi)DX͡}8@Ϟ@FeP6g}#*~Z|U%*z$݊A|m˝jS IUνqY w .MΧ4 XhdӐ%(ǒų2g[d:'Qq]>v'P[FpMsxUVI82Ϩ@ [XNS )d_2K`ՙԸGXى]{*OTt0%L?s6 A2Q'l9'=V?jxvtbEn#_f X4Iݐb'KT\Y>'ևbGzc}k c=j L*@]7iP!(pIJ bs(BքQƪ3t #N~#^Ys VJ9kSmGͩE=Qpڣ,0[ (y $DC@7Z--$1 CƋE:PV,Eм0 Y)_ctKI*m8ի a \[,`f\L"y('B%D,ak$ZhM^]P6e0% As6o87v:ޟTmHW!;_^FS 67 gYZ7f9134062ee628a31d3d5197acf5efcb48f92c9879d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 b00b49c8ed70ed453ef127711e671cb988aa3069 ' ConcurrentIMP