SQLite format 3@ .  YYQ77Atableisabelle_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, "errors" 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  v v3 4$ m% Residuated_Lattices:threads=2elapsed=29.083cpu=51.324gc=1.808factor=1.767zXZִF! आ ]ŗXf1-/6vR[Oxtۻ<8(O-H7;4p$=,KGP?(aNBP )5)[![dK@cj +-Ne[!\,¾K҅;}h4Ʃ0jKc/&­>e6s}bgۅ$mP&)=%m} lU1`cFeĖ; cOxҵvˉ&4h ntQr`2vV/S(:a'"bqz"o(X?{t썫kOዐٔ;ӌ L'FN$KK$)n6?2σ|,l)xPꑱyT(`Ew\7+^  _&KvC$(!nƩ;1|%9zN͊gJ  y#M=ȒtI?ʰ.,%X/ECXSNJة9n_K|%T:A' L3) ~\=zW>=goO} EfQa/, IzbMWW-^wBLE櫼dW^4"絝ËV 0*mkɷԀ-;A]ۿN i& +j/A2MP3y8_"nzVigj!CC,|Qa)Lƺ: p kY{?C4L|Vo-O}ĺs vqc0  eӭ/߾¢P7ƋJ8%25zH416p<˧1c7r~{{=4?`mCMZ !u nד?,QT3),OЌXoi!OMhEԀ-E Y(hN*,tڴ`nm2~()sd"md\Pe/yYjkģRSШ+XUǓ,4@lY0vQ=5Y=kSC?xHrw)Z^ZfḰ HoN_qW|moɹD1|<)F!;ih\plN*bLIi9 ^Cy3~FAܫݐ`q4~m\exuk.YoZIQ+W0⾚ĽD`lj(qGN[-Iߌe.J>HYq{EY9 lPӪV?$ hKt[g 'du S=@ 8 Xׄwa;lǐ@_gpuU}\ AƬ3tlP~}_1`on᭠(ǵƽۤ?g8Vʡ99dC4pO mSRחTT7u Euɏ+N?y6#io"̴?DG@sGUvJD,ET^tlxul3UzΓ= UmgIʳIxE]rv*0u|j1 FO{ګh({3ԯRզԞF%+PLÛh .+l=t8 @( B70p n5cے[~0(ӱ ).`oi(-$s>P$W;l'!_r*"'e#/Ӣ$TƀnS˝5D轭w1SƦاӾ,eF q4h2-9R@pG"hpdغAM+An[۔%I1]Tl?Zbf0\-hthU%F&/W ]0ڈjw=}z ϣ6$[L6mfS~KcR"]a/TqU-6BG?q8G_&sdVp_A4?40cx0D`pUaP%G0 J۞zREl|މбӓ аw"L!p}<~'Ϗ4N2o%0&[}Wa1[ RA缦,,y|чlN#p1ʠ!Vl vџ W8}ckVQ "f ->G9WLkFuQ@ $tTNf Uv+婱gYZ7zXZִF! L]ŗXi%s$F0T ?J!Ι 1v pjwB8uL 7?ȵ \&ܽLIQ9ʲP>8qcTgNlpj=Mz:?X-G+hOO olOB cC"ZHzmiM<ѻd|Z2 ;WkcǁMom\ ÎfDAi/R Z~PT,or;#tAzs$Tg;d'l  Twnt ᨏL~|,OoH$*92s] VgxF/3`u 7怤ţU_ ޳X,q1 S,(Zeű TeԪ'.yEޒN mXyXuB{8\40V#L]򄀛rFfk16SV5ϵ巪P4of u?Y}u!!cqeN\%P!=.걙{"2./9,',#*?gg5O~m #JTOҗ-[3gYZ202f91c1d3ca7aee1649520e86276508251079bb 2a6ab331f01713caa21b5d324f1b6795c1733194 4682e5ffb03f0092b8727ff023d636a584a972cc 4d2328a10d4e4e7e2713fd434cf5930940608b89 9b7dea633e1b1d2aec3e0709cde4e11703c24ffd b1ac9833c893dabe3a7786b32f206432c078a9f3 d79d8c48769f49b782b0b5e0a8115e8775c4e424 e23218f33c9ba43f226683bbab6cf88af67f53b1 ee6dffdc2c820925b26acb1eb32135bd7f76bfe89711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 7f9ea2cd7bb7be132b52334531098cdd85d231a5 4319652ecce5684d060183e67bd4304617314387 602c10c5a354adff55bdc877e6f7490980ba4eb5