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 N |t\ ] ZF-UNITY:threads=6elapsed=5.126cpu=25.444gc=0.924factor=4.967zXZִF!  5]ŗXf1-WHIk0p䋎dh֨/+aGb−>|omLefÄđ"n Y$y M`'Nt<^ X[ ɊoT43;.cm skC@CHՆ^^-mo\?(Q?jXɹsn o'6=TY ʼ>esv!3Y%)ˀ/8/aD"`J쿙C[ nL (Td G΀ [);4;Erg!H~0/Bj>V#y|e 7L5CHKN:ˬ塴h:*cni/ 3Iܛ}D ZbJ6gJJj"`2]'N\l!}~EsUπ%4MH@Tϛ%x=^k$ɰمI"Np;/+dQj+' v#bs4 @UyWZ?E3q|#/!O9/k#(ǚ6}&A1llWGhu^ڰ m0ES7f8|vDSz?YAm\jڰTʘ&֋{(@(0v6yTwm봅5AǙm#ik0~}`~qN x N0߮W ?0>}>/4S ~$[Žd(./~WjV|A1 o#(i{ [ʾӣ=ٶlVO ޛ#L9eVHTCuIVֿueAӃM!o&+?@avIMᎺq|9J 5 oJϻ$\K0&~C"68s9<f8 R]BGKArcW9q$xR*t-[a?*PjD9 5ߛU/#wn%y];"9o47GW`R4ZP7UUfҊu;4++hgYZ2bbabaf891ec179d361482b682b1c62bebaea1070368d846b91517e6bfc74b22aa4589a14a64f868 658eeccf18a5deff97eb37627eef499304cf036d 7d0f8b8b6eed7d821c06c54765502c4b44cc4947   ZF-UNITY