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 )5 T|$ ]%]DynamicArchitectures:threads=2elapsed=13.637cpu=25.688gc=0.836factor=1.887zXZִF! ]ŗXf1-/6vRZaKSt$uxek$x="Ǯ6xPm͌ͮav#+ZtDc H(,C8w@֐Ul2M.nc LDf=>sbV`j oy5brI%\ǿ՞p!HnufUmȞgHzc]-kqvSAo\wL* ~3 jls@y`|WMHs(e366 "=|$6#a *noSO͵$TbHV("-zV.}ď3$4{)gYZ7zXZִF! V]ŗXi%;c?bV7o{g/g 94%u"7[+M?B*8"$)ZԼ:IdVf1P$JP‰JYEP;Hc 50`sx/"".,vFyqGHɋ-FH-[MaYBg|52`67B+K7 rQ{' QJs0Zu 4׋*! xr c 녋 im c%K?O[í%ۿUW;1NTD# '(G #k)Z|'h7&6SyXPd/W 揟Q1R6]u5ӬH)5֒j[r(585y:# *IuYGh¨hM+Fv`ñ"4 nO%6a e)g~oGNpY~:AD'0q)/3 :뺜jx_yMKjp7NeZ +^ڇN$Rm*Pp̺!D j#ah( Y)B[]b1ydS^McpWi.NZ3o5k&.K4YĚ$RwfA ȹ@LtYW0gtij'mdETu焦T 45i '!;{we%5J=0lz;xsòR`?}`RhL z y"7&߃alP$I_,sy]I Es'UBfQve>9T϶;ߗ~Np{b@4X#8gYZ2599d40eb26ad37a831f405dd332152455a6a1f379d8e835726df87c7b301a8f091eddccadfabbca 3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef 8e20ce849646d33245e5b8e0a39681f1fa96c617 049e3f297970e19a2899b66fcc4d730c439cc23c 4dd5ef11a2ac9cd6f0084bc6d2cb9047b3fc49e30da64b3ca46261954ef9feb69230fe1ed4939b49 5 DynamicArchitectures