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  4d {/]HOLCF:threads=2elapsed=18.452cpu=33.212gc=1.720factor=1.807zXZִF!  HOLCF / Q]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGWBw{$Ϗhl 96L 7G bI([AG8 TRgybB)٭jG']T:Vm?䇒nvoRpS~ݓ7MtsmclhuSre {KlBk?%fΈ؄D(mXp=}f\JםR&n\͠Zz-s9"̆>!IQCR}B%ɑyZ`Pg9Eu*9e/-5+&(o+O | zbI`^M @uuKkwpŎ9R4:,H7ǽsPy G4G? ЅUyIEtvnR.:wP ׀<┶դ@/?{};zK8&HݾeSH/:KЬ_S Ug΍rB~ᴜ^BFN)_@p%M a+ `l?m ,O105RָO #knqAbI{ozo&}:–,TyVpwl^.A- ᩼NgLi wU?b I˙ff맦|bo<̪/`]w۫W=p-,9~ߪFUzp+(E-dO ⚂.CqE=R>\4Ɯ!DN5ڶ%4~]d1..6fܞ}5fc6]=A*Jڊ<-RȇшS 愑4` MEWq PVXM+ƜE}(RZ$OBT/ :!7xs#~21t)M6F~Oٟ]h |{,VM6F$_N,X7^ -e|+bλJ0Eo j]$OAn /yLW9X^j#=9מ`B*rktևVUBj}G ? ]>( HU쮼3xY)+B!ZB!9%1_I?0y5{' Y  BR;7=E=i w筀G=Lok8E{zSЊć}uH#ݗs 78Փ`M|Ck8 ZSO%8%m;{ 2 1)sL"ְe6V3'W=6U h`v [ꯣf'q&Hacdzh62DPmj=Ҏ-:H?x,"77im4$sdW@ )X.4Zbo36fDh!"X/fz֮*FU(+*UWls\ S{X$PO]tH]̫`;CB/ڣ '_M7pW4v K<%_|m&5n>\~{cMM#!U7KH=&ěp9'3+RL:-tA&Cͮ!84O!^J?_BFHx: ,9$|ܿ׊U\s_uS2Zk'`}wq& n$h̄0r=駼pIGhxBN4kAύŁA7c.ʷRø9#X+}J&; ͂lc8ţ@|CڰVM 2;4+8K !z!G]=L?udlG5zU ]TcԖ[|FV Scv5`2GɫAR183IxGu2,V$|_% Uj~4HV#d_k];'HʌNq F6D1#JG~TwF '؝ɍ҃ۇw;P?Wz ItOatd |L | qެc{墤nk73ʑgnuaM?㨂yyMDuv /ؽx2"OB1@Lۗf3=IV1[`[cp4aUrB8E&tP$8:7 5޴qMِXbn Etiwtʂ0J R_g'ѕqTٲ&'!^[ߵGY$h0MlwK{֧ \pQN B dj">׏>s֙QgD-.QT%.ڬ~@ \Ez>.낯\UVз^ A B⍵=b:q$f˿@0oaC5\Le