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 y/ , m/ FeatherweightJava:threads=2elapsed=12.045cpu=22.148gc=0.800factor=1.847zXZִF! J]ŗXf1-/6vRZ9@{q$Szyj߫iIlCq4D_HȅC *hoo.MάށdE>EoElt"( / FeatherweightJava@Npw7<٦17 HӼ/mTՑS0&}31#.6ǝ٫=YZ4:r~%cT#Gt3׻/Tՙn3%qs]k8g"#>& l$[wb$d u+dd߈` g*g>JJJ|Pyu?NƯM솴Dq7{]\Mu"h A lgήц!hGJc̡dc|Pi̿з*չ" TqJIsPgi $,̧jw'!0O22jӜ 렜'+YϐE* ~`rpkً\sU#G8JPmHsIqZ{[G^RblcRAOxNgNn 5{ٔԃ`vf9r$SiQLt44m2pkU˗@l(o$EJ3q2\"7'`tޯg=cm۬WڤszcSa4n FBfN:n)Y*0HMN7E3%T7m/^ 9"P?pč6ȟ]n);q!йAKhQ)oi8Z ߝKn-e bi08D:e$F}3yOڦ_{l?ep^w0)'ij֦Pi$6=H@˼u6izZ3WqHBA]8J0e4T'qOGv2>]<ڤJ~*Q7Ky qǨw93S uLR9%f\0Hfq6t/ոHV5)Y5n~U1 dy$>U;\v,r?Lﷺ }uַ JL_G AB۞rAm}m{~ě 3kįLvAJ,=SDZq_rE  (ى<^@jA3JoԴGf(5ٍx%2)-.2Q;-n7yhb>=0*wyo҄AtRդnk{Z5HG@g(Eʾ\߫:0W0ϟ'IQ1􎕁\ha0Ic8ċ Fuw$Wa%ߚ<[pZ<^<-wfcMl[)LܼH= ^7Yp4PSp|ԣ. }]P3UL[z6ɜx-+fsJ y ƝyKN 8}/9N)޲6DJ[CqԔG$b m.q.[+* Ī2<2.`)JG3Qp/iqhۗܥ=LJXk9i7uu'"1! W;>0p9ԄȲYMJ3εsg30 6Z(\'<-0m<|I䰜+QHeW8n!,0>dhغ-*~x$> 'zW\Ռe0#xS~UPss7 [̜V`]4Ң :1nԒ!k!Ɨ'D>exD6w(/o{3wNFϕȕs9!Fn1 #*d :')hS7j9|SoF`:`?VDF\=SuE8G Km1/mڤeX=ؙ`K)d9d$7#R2^ @{TQZP,M$/럘Wޞ;k>{ߌ}< (2rNX?clٺ%h̚v >^9R}&V.4b7|1}iWՁex$u: GMYZ; $8,# 7Bbn"`k@|^ٕtdN鼋U0(gXޱgYZ198938cbcbc4ce0043784e081f4ed6f385fc3fd9 1e9875f5e0a757bfebbcb562f5c50b5e166c192a 2fe12d51c53562d8369c4e884abc1d1fc76e9c63 567f9f3722ba555a42e70439beb4b81042d52d87 6997f9235ca3d099fe0942d18074c256eeffea71 79f51d0a15eab3b8daf33ea13a876578226efb47 8a7bdf614baadee9c2f7718c6862516e546b4b93 c35e0a99ae96f4f979865d8a9d9e12042bcc0842 f0b6e798c92be38da5d39829f18dc38183d2822f70d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9