SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info UU \, cS HOLCF-ex:threads=2elapsed=5.558cpu=10.860gc=0.496factor=1.957zXZִF! Fa]ŗXf1-qNe(rp.ru$s<ߖYA1簫a8=@Oo&u*v*ԗ12 N>PvD]SoѰ5!M/~_ q ᢒ]VQ|' EՊxVm7մF+yq|V5͎2"'Zׅ6 X[Q͏^;ɓa3P #\\b7ZWX9>[ 9^ZW7$)XQX7kԈl!#TА!{t")?27窳z =8Sia.Pq$gw4mR?/&ZkfVUԢ4q尚RmB eQs8; 7mX+r~N,'SL]c QZwyxaL'"1vtqe萒VVH8m׊53m m\${F騫6aLEhy 35rg7'k~n?SwS,~X:&eדpDiYa֧ɺʡ}#/J͘] %'4Ct+4MT":ݓhJRbƀȞpMqۣEӗФj-,Umk|m{ j*g,p) CP!|) d_²] h13ju:[fu)iT9 FRO&\0K;W]\SUc]"^RODݷ'wȧe|TϐeP5"fb`gS+ N":F>Ȟ>ϗ5"1DY;)LE_4MaiJ,3GY^gYZ01ad330ba00b3975919c3a49fbb7a2fd1f1fcda7 08579f6b90caa4ecef3dc4866fc245fd84f7c1d1 10fd440961a468374c626744451888997f31c65b 122f8e6d09550bea029ccb1b6e839f533d6f19c6 3c54ad37ad617dc2d861de2dab681f402c864327 68bd26874ba31f2499644d55df21046545285291 6b60fa0f5810516fe9e99e420243a974afaba0fd 80dcfca725ace97cead5e39d08245c26e7ed5a75 8e7a31346380d165363a6100f12d0ca8189408bf b93df0a10ead4c342235da5986353a7d12307920 bfa0d55485fcaea5815caf23e331f19508583759 c110105a951c4b5024941ec2a936350c947ebaca76e60ab7be570c8f37ab4fbd0cc297599bd4212e 75f08b6f45353080735e360691a96b11d33f8575 8b3f1621ad686cf3aa842ec79ad06a6f95fde427 516a72821ed6fbb3cbf35c76e7b348aa36f84725