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  i% $t4 ]/ HOL-NanoJava:threads=2elapsed=5.871cpu=10.524gc=0.704factor=1.797zXZִF!  ]ŗXf1-q恈ֿ?6q*تK]M?hac耯}ڻ;pkp/sTK7Rr׾kX#C,,/ BD_2oyEK0e~JɛXȓlzxVPyn-YBX:B݆Mv+ao`Q*`Z DfL`|B%\\ xò>eXg-Ӯ;܇LQ#T gYZ7zXZִF! ?]ŗXiɟ1|H5} \]f3ؑ\]EoRfTNsG~bv(ҞS)|BTM^|@kdOPm,:NtB$-x=B6("%;~.tNݩ-If./ڿelOy$.Ѓ%+,̅3j$sēgYZ7zXZִF! */]ŗXi%;iFh3&cҰUTlîq=]zMx6ץۏFG:N>e VzC򂓏 ʏf+y+~:B@f4X#!ʟwDVmg)Yƈ!\3˺kβv]6M:{C{mqZV7#)/s{md9̑_3/ᴛ,-S&^\D--r] 3؏ʿpiȋ|-sG) a 6O"zm8E2+4)\֊Hco쨯ŌrX@\Eì%L@ASu5mڧEd~TQw=ŠױVcֹtW2O(L֐:;vFI@B]P"6`Q\|7ē|k0߉'!(&4NǔL^w< Ύ}گ0q LtK껗վFA_9.3)7s,YJ?ˠ9*_]5epυ3 V LU[E WENe"_%+|eQt5#rc PX3ǽ.%F3 [j^Gq10ZYfHq^7 =E:dlE>rĭQzg|1ԪS@\<'wʂ 6P\lрy :(GPo .-狆v0!͋#*R{TJұgYZbf9a6b267cad515a37d00de712c285143aaf3adcb6a06941c7f4d32a9ff0b780ae34fa263f209f1f 17c087a835d148ead0faf3b05e4801803be6efde % HOL-NanoJava