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 kk/ 4 ] POPLmark-deBruijn:threads=2elapsed=23.596cpu=43.248gc=2.416factor=1.837zXZִF! S]ŗXf1-/6vR[1u 3ܸ&S$'W+$iq!t52pI.4E ynx`Ss4LQ ׀μcy?+_ ~nʋK͉Ǻ߫sZ؆6u?&ܻh9Fx=K#E~7NA'kLoN O~tʢ*NڽYSVssPI Qnǃ|OA6`NoPkc O hT!m KaldWamZSGMOs7eyjfɯ`t 9cHy-^4; ru0LߑFRv~xrS@#YfLC#'?s2"zbd_m8)+``9"Bq:jiqt Y9WdUڇ\FhK1+\ecuaWbc!ON%I9@;Qe&,Y Mܓr]?81lm:_bt?^?rrOLWT+~.fPY0DQn4@쫂}pnb[Dh@}Rlĕ$|T"'ʳ#Wu]ζ[-dY&ώ T{JI-[k4̾aS\c7!m/wCG/J+;f޳^DU"edYfvz(n8- A|=R JPEv5r˒ :M{Skvmu_/6D92K!019ÒH%w"w#B$:"{zڠ{;_VG2IBq r@w!q?/ s%VM/^&V5xU s7!hIF2N {hiZ1:VWM|6 021H{ߦv䓛.i-w<6CO#"B`ωy\.橄1 cqSoT _̕ ix/xZZY/Ri'G+'N#iBWˠޗ̓ \e]׃=zLpn1-8愇rt tvgł[?Jq]1I\|{ %XcDGz?f!j]$9 q>_d| iXe_2Wh1^Am[[k+jjKx)w;qo*vh,u}sQefĉ3Vǘ|˻r>zPZf,[f@'0sJ/*/Ljo38O?/#$F!l">fLգc3*$'Ǯ*QBtH ޱ/i{cM5;W,@ uH tvf‰h