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 0# \ O/ Integration:threads=2elapsed=13.586cpu=26.880gc=0.976factor=1.987zXZִF! N]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVhE|wK]az"kxbR:_W`{#ַ]pRLv=sNh^Z1ൄ;^b,GnVfNo5N=mBWk0l|[ihDtv͐\MQa0Rc84ꂇ}qwVG*=Mܫ W7V6Y=*P(Ѿ6 '>HWb vhBMUAJWd.yH PfI:ZͲkq@sLƪYWS3֖x1&쇽k;rkFMyJF1{!>XN bF <(ԥQS+C79fz'Vڮ`7ƿulAx@J䍇M]~!.jj/=p;; 4|=4τδw)A" # Integrationxg$ȗ) :"C)sRU*2jԛ2egk;W5%sWk1mr|p9.?" ;< "HаrfZdۚ8|Y:S*AJV9{Z.%sDπ8r mvgnrNd Uu0ѲB-Aurq0h4P'oZNRi+ 1UV+M0jt -la'&UB@BSG7y\v~ LÜ^?UaDȁ'FٻZA88h`./õ%еJ-:kKK6ydFHpJ t58s83&?*mΐQTAݩi6=k1}wBddQxA`(N;aKBD\wa` Y!J^;Fț|9n1 A{˵1fLOh_FkfxY1 IFdz'N mY ~j2C¸H᷎YW_lTpL>Wx:8S(LrDJsbC@< <_y_Q:K=|d6L22Y&]OI?lq*zޗ<VG@MGT'KpKx7攎p1cUWE 'eS2|:}-jۆ*Pɛ9lɛ_%S}n^b8 C+[#54T5ڋM:QKڕ0v{҂ǍZ /;ˀj-M[C q|dgYZ7zXZִF! K;|]ŗXi%DQ۹xMqɤIR &,#M_!,Z}gxL)! =PCl/*Dh;˄ ~ 7f/C l|GR>\<=Vh⋓ܚВ5G=+,cz&Q!3II c#B-SrGW=dߨ)67J9˯oT^#_9+M/BAAj$S{ = ZʟM%՞[HG&y_2G%fmQ2o=>stD:LB:3ܿ3z90Ta agi=ݻ& w7"e跄VL)G$b?c5 p5'@G ̘@^߉}&H5LW9#Y,!;P#FGt:ٴ1$+bOD̄(w<:qۀܒZ⛕nA3sS @E }--s+0ŰqfP7oZS%@`%ɿא 8K 'RO-e $)@ +W=HyL^\Tna s4fչ|RyQcWB; ^+%JtKӺW=Ɍ 4]YYap OIݡQrjs(^x| *|Y