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  d< ]/ FLP:threads=2elapsed=20.491cpu=38.372gc=1.408factor=1.877zXZִF! !]ŗXf1-/6vRZlh[j^iWrYWrWzux;6aţ n5`V g?YQPe Np2N|8װw:[uh Uo##WK7x%Ivh!"|>6t)\djavWd,lgQZ;`$0|(؎~-;ދfSE}S=e1w-.wTCIFęL 4Y*&4fgB@D8ү>(2ȼԬG϶e һ]Pl=<*J736MF'3Wq yt{mxU`kPW8]3R9jlv'V%فThO]*]4FkiZO`NJ0<i1b.׏r33)cy\s:}ߐ^H$P0Gts :奌q-U;Qh1W%wnSoo*X[@I{k Ъep3 %lU5qdZ LDِ;w/jWw8S7@̨wdZBX"%1p Ls||OhXibП *JsIlX4N>h|ѽ)x~bܑ"rBٌfd`N9gR Jo9mnۃW ?'>+_'())ď)1'/R^{eZ˘oA&Lܡv\AB&e|Z$0~=ye`T1E8Im$@FB ;}j=ohvYDk:}W~ ND9Sr„yy"Ld/Y^zDp75 \Kb$Ȃf M&Fpk:G@ ] )!'_ c\ uEٰMH;w4 ,Bf{*yrv1ϑM&w';ŔTUd(Ӵ.YtxĆ9ەn͈g8p56 -D9g62sFw@&}.8ԛz}oWޟ4_ԯkЖ@7Njm+`b+#D Lb?yr2D#$O@(em;w:sXb9چƷ5V r-I)n>3xduӘ5+`9X>{o//ͥo~! a 9ayj+ fVzՑ*C MbһΣFdjڢ|VQzmp 2!̪S|y+ T=E^Cͫl}sZFw`Kqr=8sϚӒx NqWOd2%h+0z!γѩb=}dv*5ڕ 'aeqEE? b);}m3"`TMAp%|پrnc:U9)t3'zEgt%YGQ(uwR1\-cg>GmE Pk'!!U,kW YO_yԐp E{ gYZb8effb365d23b87f4545258a93066a87913157f279d8e835726df87c7b301a8f091eddccadfabbca 3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef  FLP