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  3 3J < ]S IOA-NTP:threads=2elapsed=6.692cpu=12.248gc=0.492factor=1.837zXZִF! H]ŗXf1-qN50^ Wy<#HIA%a?dO jI(t#TpaRMI!|RyV̷c 9Er2H r;ea+46x%E9:mu<>4wzs5t_u+*7MTWæt\Px"|lyX%R0@g[@\w2VzphmSؠ6Q0|gμrDn̍jY%n / XP`B Z7 E\)7bgYZ7zXZִF! ]ŗXiɟdN@mP$UFr1,I3buz(݌R0kD yB$tD[|:}G# %䐓F㬗QF+b-JћXƕ4 |B1 QmDf\ȁgv;&LLV!/q`Q>D匀@t2ԌgYZ7zXZִF! ]ŗXi%;aho>'X]I *! X@I'e]e^Ao)Aٹ@MKUw= {r}`Ij,>넰9Y MC$!ҙ+>Ei q@%eoxp.f~‹,qmGhz28󈢅w+5]NG^/9ёA۠؝n jP~tlꃇΔT_F׸xbIMr5eY%1yD DS%˱?|ޛкt+gn2w2Vҏ<Q/]+[TQ0C'/ j:Ebu"ix 4Lc _M4b"D<';Ӣ–Q6 8jOϘI|8r+mGrdIVyjnIx>t㒂JWN?GW#*vK2XsV cH-df;[$>QH =>tr.6@Z+aBRT[7^}gvWA ;Z ojXA+Bh,:CnWU}[C["eN1X>(Wp!MZ"\Kj6^" &8S2 hQGUƆt󰇎̸( $.VpAgYZ19416dfd235111fd5d2af07dd78301ab70b34ac987932c6edaedf27de51c877ca7033311a89eb072 7f58193f3d2717fe18681e21843b42a4a2b573aa da1df807c20a0f9bc38603345a4d61586eb2851a 9524271c82dbdf58e771db389a57defb6f7d64a2   IOA-NTP