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 g 4D 5/ TLA:threads=2elapsed=17.854cpu=34.364gc=1.096factor=1.927zXZִF! cr]ŗXf1-/6vR[j 84[ϲ E <,S>4 %v_cVpyKѬ _"m݊%T), Ry9'yXKURG2`F_xܟ#*[ PA+ɋiһy+::J{~,;1s,ů`4=_ 2ś#b'U-հ-7`>k{GsowlIxY  TLA\޼ƀ.!đ6Ko!e|QŻfpPP$"获  LvnaĎF[Y6&yZȌ ;ͅ_-P\P5:(՚-eWm)M%0,sPZV)" LD?m$Ztm/g* 4p0Z!Ra8~ g|'\B#R缤Ph9冂osUg\ Fo0G#"_]9)2"lZMC얂GaQ\afp7-09 (嘙B'ErRaCvLzCIAIZqYY=CQ3=UUʼnZ<}޴7G'Xa{mWHHR7Cϧ QyH^@ZA}8&9bҕ6ŜUɆlgQ~Zyd^0` U )|/_Ȕv4M:۽M3Opx .xM}Aءc ?ÀO>27*%;zeHdˮ2 )tnBtU\L3{~%ʸ^k4A5a#2[_+Ċ(5X/.(=RB3ypEc]maj1PXq)DTsPuпoߟʃj{ofE)ߙPR /c} A^]T=9K^$`jHpa: Ӹl 1$ ^XZM4ȷ"EL^ 5ZjNu\[@IuEI|3Pٙ;B+5F92`sࡆSx/ɬ,߅ƍsp?qWJ`h\XV:-h$N>?J(VG=Ҟ 9J/ޏh:w~a6 ;4kU#u\:/B6h0g`DFH4`BI <=U4FY5 lx-;L8EckTG b0vŊY)rHlevvLsi &W{ٟTSUbH:l X0Fzv_@ ,T ÔT}2A «GFjD8̇++|a5d1%FǗK_mS#rTm/gEb.gpߨ~ KTjVu4BυU<`q%lZۑMt P0!bziAR}iƞ a(n@f?yz̩ C2%+V?C|>N5\fjnŏǦn\meڪ-uh2 nSE N"y7tշŜ2͏qNZ(MV&Dgրr&~~#prkP_SzYpW% a򿄻{{ӯڙX3K]X>Vy*`gYZ7zXZִF! e:]ŗXi%m]noobkҏyU;Uhnx((}7LJj-!Ļeu |n}=vkƬVv6 ]j(YfϲjZaORumNwA3N5/ 9G4İ8ۡOlVL<ef&1.M bIʳSP8,Q5fzU=eL̜,J@Y4Nn-Vr0%Wz/CEga0KxvM9)2IE_N nnj{нLhq :_:rZa[mɞ|Gi7 !n19㲯@4ۤI5;t;"xkƬJlHV59ƆC kXӀ6&D 5.ÛJ0U^5S~_خ}6}vR fCN x'd^,TJJUp6;e$ۀĢ^ѵ/c Sw^dTݕǓ/(;Iԁ