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 ;;:! < / List-Index:threads=2elapsed=2.423cpu=4.616gc=0.100factor=1.907zXZִF! A]ŗXf1-/6vRZڕ/0*]=DU2+8Q}89' p)hϭ]@#Gq->z9%q c#gyW g{2<둷RدY Ɨ-2x!6zS Y W̦;LJ)JPbkF* +9P\ T`+ۉw-ݢo"|pY5MAB'q@Sy U~4Y틕P^ayl2^'uj'& T'EἮ}j5rsPeV%`  ! List-IndexP#!a(Cɜ{u1͸ͯƸk D>m=X͜Q@rٶhovf.X=vŜji_?Iz?U5pvEțcXg x;ڌ vtu}mqOϣwYd"z 5 : Dn(-]*-"gYZ7zXZִF! ]ŗXi%m]r}\[X,w_mPnp:uiT{)ͻtjv5/VۓŏA cpz6O|bTZ^]vloY2;4K72