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 \ \\ S/ AVL-Trees:threads=2elapsed=22.047cpu=41.828gc=0.856factor=1.907zXZִF!   AVL-Trees 4Ng]ŗXf1-/6vRZ\2_:oFEQs Q̧3|Ids*k\~w Hdod7?:ck,b'}6pdjBr#*9Gs<~ LSt+''^<Η69|ጸq Y & qz;KZf̘rvwG{O19u%uZ hQx:NnU}fӏ5)i)BA'v][_k6`߱1,)>BsS衙24({EF5+%,˨$erjZ=ḻ'Uz9Ln0kBˏq/7.CIŋJD[B:ԾGt(U%~6?ʜɌ}FDOX!V@W7G;## N>ToJB5t~Χ[lAjǝO im!X>YA)i(m2<@Dq&v* tY⛺ͽبϷ'yYG-E2 {"D4nՠ&tHTYjT{}c]gZp6Z. 'Vev;Ј⇯Zy &RhIĐ00xO-kH0Vr%RK0'0Ty fg ?rT^9G$(ƣ$I=:8o}(H"|7W{Yti4ZۥkNKqyP_Jz1]V6v>lęPn#x3̝O2 h>gYZ7zXZִF! p]ŗXi%HՋ^hrO=bJWUL7?ѳ>+W)ʠ0&?L8N1ed>hy:d,h@0<+sKi]ƒ'Kݨ%ePEr蚈;plS\mo9+utrcݽTE [#E@F(^7`6Cnw:'$6Nv8 CSgIWi[Qִ6bJOH}̘ ;8D-Q2 <\cE&&/]#eZ!>||Tr<gxw ,-msVJdK M9L偸$k Հ{|bDbVEFQ-yz4@E!}{wRי/hkYa`XP- :RSuK/dk$N%h,nMxiS}^&6M ^aY2UsQ3/_B@=qBk6. +-Z WBEG"Y0Y-WVyp<eqVvojgg9TE[knH+ p`pCG1j`̥#ʣV^pLtee !"v| Ȥܣ8yU[MfLgB>M$'_å҉$"?)qVmDt搳+ĕMr`1Y;qiK?utqxDbxZП9CH|Q3:lE‚`PqHK4/CBA2g$ÚV oba/,ҟksdԼvr`3ʠ:MQ]d^#?{3<.1L WKiV/%/L4g x.gYZ2c3b55ebaa85cb86021ad407f3cf8c6c74eb12ff aa80b06f4331f695b58af77ce63ad57a3d7bdca4 ae64a2f7f2b5f5602f211fda1a0b53d881e9582d bbde08b63895e3505fe3e258627fee67c001962a8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07