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 tt  4| ] IOA:threads=6elapsed=7.243cpu=29.172gc=1.128factor=4.037zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K   R]Dz4l=-.ʶܖ%hyHܐ /-mW;ʺ>ڭOM|X Ἲ[$w炛̚{Pޚ&E5u)3,uX4H]d`8CV&g zw!ij?2Wt(@^>e#`EIc VK*Q }KM‚SYoRyZb &26-0g7saF 0蒳4B7#a"}jeW]T(h|(-ՀrDw5 +*xoS'hH8L0L \ TWv(A f gYZ7zXZִF! `x]ŗXiɟdN'LvH۹$vYeL`v( #P3<Egh+4#@[lJ-~ Q A;WwC4Dw3/>\$1߲q=CΩlwclO^4OBm+D/#|zySH}-ιUBL̢kw+N5lNJ@]LV-SF.i3%!$=ckaXS,/ŀ FpsU[vҚ(EpSu% b?;%1L[sT Tp<ET,K v\_𔇀1aN]@5MQʊ#( 'Ĉ|` YVagYZ7zXZִF! %]ŗXi%;I&\低|V֭=V#VNG(eAr( r593*,)&kA@2'GZ큼#iF/[L$P5 J=ʹֳ3em2WF$,+0njPQ#E稘R$.ִ+3CF/'H:ߊbPA/)  p8=\ ʅ_#IfC$gZqG択s桬rTld.SApDSUSGGZM hz` /90G߫M@ITe:Op3)<K/?ar&w]O^]"!c4i(v֗ڱ 3@b!n29Wtk G:a4p/m'嵜U