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 ^^ T4  Category2:threads=2elapsed=18.701cpu=34.672gc=2.232factor=1.857zXZִF! !]ŗXf1-q恉 :NC   Category2G 8vۗ?xWfkq6gFE@FCCR$5(av]y|Q ?p8⒎#4ӢdzڨD7cوD4rށw̻͈I|L "8muP(=#ҝ-r,G$`arߘK 2 Z{=j4y M:e=<Ҁt&.+ښc6M6n\X[]9^y.צ .2AK7]T|a╶ǟ+x@ (o#֨W#Ne5)N&` sGkŐ v')R!%Te* 3jMxV't62CM)\|8$k"8T)ir[ߕ'.43H"wG oJ1R&b7XT4ޫ7>k4HB}."c} }=D.f+tڒAfx[i/גZwGͷc>NYŠ1[_cs)Ⱥ.Dm '%va-v0d,{ip6 6רnmѳ{A1J쮔·&ZEG={lxO9Pӝ,OieJK68EW~GrGBy6TՇHL;ULd9J'uR]#ë1ZK% O#ߋY6%T\|oƛ;EwX1Yl%a4]cZeҾ]sU%+G;NPt >[0X?*8*#(通F vs" 1yV4sRh{֏e:d-;¡< "0 ݖ SF҃FCcd@跦$-iaǑUb05b54' c\JAO9D%4r.`1\)\/ijlȊPF\cvn>VRn!9Lc~Jlq\1uFd D7g2F,`:p2o;?7lɒ&Ň -“͛;ߏvfǪ^S9NSNGC(:8 _rc=VQ?at@̦ExM?AHIxVf,W0 h#_ĘW,SѨ/HR1!_Ϙn42 ]J!W AoV6JU8!]|qkTKe)Sg*:T do-d/`P%Ԛp9!J`ZA{hQKɜuiY  MbQiB&[;}`2Fn/3lc-Qgc!*C{nz:7Q-z3M"zݾ~ݒ<]={s?XIx!;q]V =HX5*(/^$.b Ԗ=BGW{a!&[œ@˄ AP +м>!ͅ v^kAz\7 wnJ-ֈvPtR's+-Eq!@i[De<:< 3Ji"~_"4 'X%q~ZCd5ň$ ¿`L]#]5Fad =$:0Q)<5Ye~ohĺ?('\@5s| .`@ R/MDd7Rvr%W!$H&G?d sFLdX^5V{>h7J\=߮EXЪɼ[|̎ZJ^?r 5y"% D:Tx4zxN2x~1I hZF7nn(V7Py6v94X 4WS,Jdvq^7PTcȹ::g2vMnw AU(^L1si^MFa- y*UdneڂH 5rZ)0-gn +f}R߃qoL A$%!B}Ua #QLO8(w*Db E̸?KeRqXw.Ieb'YeS[}"?Ơ!ۺ'!H]bKtgNQ̽Onv7Gڸl߼܈RYNn;'ҹHݩ[A c'lNCbմ>ΉY[(=fP!SN 5lNCNr-+'kj^'ꁔGOusO\KuP  `gYZ00cc22d1e149de2b56ecc5c1b1c9acde14f756c4 1a85d643ff9daa78dc2008ddb49d7c4038929bd2 2eb5625e56755fda5ce3401b40beed5169cd2f93 513a81bf794efc8deac8947c77c06afd61249e42 8282a16f2d860a70a7c6cee5ef8261c8ae19609b 86fd7da255e0657d15e775a7170bdc58487beed1 8d27736d7b5020008fcc2f11d1d6e066fbf5fce1 9047213262f305724c9b6f8d7d1941eb424a1a8a b000116ec6ac689f1ec762430fc478a93e7852d1 b5cc46d4a62f20ef6119a9851a7ca12f33a1c7a3 b655cfe8cb22898d4b4ce5762e1e15db5fa4599d c5e40c169c35a0861c6b29bd1a845974a762f502 f061effe1a39aad1953557c0a1606fc8143f9a30 f5e82ea1c278f91f9937efb26f3b0956a096c71f80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c