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 U/ \$ m/ FeatherweightJava:threads=2elapsed=12.069cpu=22.212gc=0.592factor=1.847zXZִF! J]ŗXf1-/6vRZ9@{q$Szyj߫iIlCq4D_HȅC *hooVgUCg% / FeatherweightJavaUnm:\`"+0nrkoE81R&uIZy{|iC#;Yu[ViB2Ջ7SC<6ݖO  ڛOÚ~hbe/2Tbճ5+!D4x4de坮VۉߔlGqA.܀{3~N%Q:P}Q8%ab+7k ERN\]FC](:Pڛ'˽ מ?g:TxYD;oR|E rSE|јiќ)>**cǤ65|N1e_}7:bdJm$*73vvY!N[mw1=)l6`vFU5 ?F=>K:q.}dz!,o>4 Jg2xk: j8D%٢#P$usa),ǧ`9=N:1/ęOsR!S ʔbRK]B5e)kS~<,+^_BVxy?yH8e*$9n+W/,r&(v="g`ưB8i\-M}1UD3)I"v3>^d0菻tq)e:RǤն_bQsM&DwIGU' ऋ)ܸFTJX] AGp&U Q#| w@Fp]lCsަ9ڷ4&(Vxĕ_s }ɱ D#UNq7^玃!܇D WZG0?W"0d tvE+/0gpif}fBB=J8{D1$spoh>o67TEжx8`9'g_I  WOydd0뢗0$F~9ʂêk o_&M!wB^ D&Mr #gYZ7zXZִF! FAI]ŗXi%B׆O"GҠaLJa1]*w[49T@ˏ$I9rW ctGjQ12پ( W+gQ{&Gǹ7ՍbJlD}+PV450}$:!I&8P/쨧W+5E1g\YJT궸xѴ0+p\%0lF#LQ[7qUοx/X9Oi%vT&"r)'[:56}j$K.n>CnO>/Ay;D/v 5LsnPe7.e)0{W.p=?Sj{yak+imiNji|!5-rd(R[\6>9[k/Z^ڒ1\5e輤 UpH_1 ;`:q}ۭZ~@Nk@xTfixrF9dd߾VwBf(`$;I&1lb.O;Im|++{lk}ME.ŒܘgYZ198938cbcbc4ce0043784e081f4ed6f385fc3fd9 1e9875f5e0a757bfebbcb562f5c50b5e166c192a 567f9f3722ba555a42e70439beb4b81042d52d87 6997f9235ca3d099fe0942d18074c256eeffea71 79f51d0a15eab3b8daf33ea13a876578226efb47 8a7bdf614baadee9c2f7718c6862516e546b4b93 b2239acfc2270f39729d7b17f79ff4e53be642da c35e0a99ae96f4f979865d8a9d9e12042bcc0842 f0b6e798c92be38da5d39829f18dc38183d2822fd7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295