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  X X'dt w]CAVA_Automata:threads=2elapsed=73.338cpu=102.296gc=5.832factor=1.397zXZִF! )*]ŗXf1-/6vRZxY{"QhE'IcRfZ=fi"xGW9'#owq㕨e"UCY6=V~y,>x w.#^m$bɌwQKTe &␼fdžQ8z _mckꙚ)+_5 ޛ&KߙhVܟr*9qԳ)^s4܄t1Cm$ ˝\K4 sչ88G0!xDZP. ؞ &w*)4_qۙ }:\0^E;u>~y:yNOoeO+FjPiaxxNt8AXw4pVAwEׅ vJ=1a_9]d[`!7b2>^dÂ&1Ʈh۷Cu1Q[ e0ė'T(i[:H7F]JLFܟ}^mm ֣<"% 9;Vݧ+!+.>v2 1zg,$JmPBF'zm]Xq${HXIA˃ݶ9ќyE\:A +S[Y$gYZ7zXZִF! Z1 ]ŗXi%+"GOx}١'tG;TaRExG׭}H3Pv|+uK{.e =kU֯":>5{/aBPuxZ(gnsC9W`~$z#'3uECz ' CAVA_Automataʐ2:P˴A!!F'}) |n4jU{r3f^cSZ*^7+] nSY/J0nVWA(%;)>zÙ-C#mWƉw{4Rg cGF4}_ `5#]:܋ ~?s7g8;֭*eR[V@A%pbՕ j2$YtDzH_JrXP epmĄK%NkIya%{jߏX?>WzϋD'^}#pkYNU29zcgBޥ` Gƺe#]n0$^߫_l 1,R[#O <|w ٢v1ntHo\emr}/gGv2]5骠@d+@~ a˹{A1w Qsٕ\nE5Mr|@KBY^rhFO5)A`qPv&jXK5^؇>*-Bӹ,* p+te ~683+<j濱T8 @F{tt(vOfudR֧M_#hhw3et<7d/mKW~*m~{Ϳ[vkՖݻm~(DQH1y O{?څ2࿣"m{{{tc3=LM%j38'41Vs;K" I#NEHtxx%kI.,"I n<$u@!OgOiބ2fd~~CDh@zplRЃm(p#ԙ8HgzKN-?_ߛ0.1!Ee 6Ȩuv.=8]5v8#C; )\q2F]YInZ@A,衤} z^*Ovm'~M+o^zFdɣ \ߩ5GZ?#dXR2wvbAl>9˰Vo}C#*zē qWAM"zJ)q>G>.<%cT0E^LjQaVW%? 9U<&Nj68V)v Ŏ OMb%QTRH{G8/DS!S!ƴJ`#T#.d:2-4MyeOh*!?i6$i 0A~ !Ģ:SbFVdgU) *X.o#WG(bFMzZ"<(s H yh&s]-縷o90uo/bEJїYq6Lj莗/j\o(7QzKfdⓜJj![:~8|x\s}H0#y:ޫ8 # ;vDX  hjIIkԎ(n;k_]? u.*A@~Ʋ؏)#:"V-괕P9۽@ouګ=lݵAU6}óZMjZ6e$E2I//;w>@Obz2H0bv(9. $"1<@3JJ%]Z +' Hx,/h+{3[)gY.iY}\ay0a./i>}LH0y*&"L mʪd{ 4fD[mUn<8r/$(m;Wf $|`"iSdO qºa)SmHdLCõ7e|j'+η<'e ӠVgx>%GvǨuYm*S\ lhtd1ElU7uQ rh,Qkª NZ2kts։16mSļIYi* ׽inex)rh1ſ|+X{ mQ;%pu% S ))}@[Tm X?0``&% Xo٤V@xM)TbH2>~%5qZtfw_;[4emzgK |9jGS$D96ݍ ٣ȤM8_艍λ> J{pT/?v苆6'.;dl[Z5=fbb OL@n3U3@NPн1*?؜BAy3wR}6t^-de/.f=@[S9r`(.k2eLCRb$r XU*@2 1Dv 8ob` qѕZY/J-7e 0'1"t6`MqYˉ#/Jȸo>s:Ö2L8u<E7-%zlCgVi<&pWyː|$%a;#QceHi-XnkƙS VCK,l6UO,s5{M5a5S"Yr?2(pa'Kx@NHh߰;)gYZ0d380be2205d1866e0960ad8acb0e6e3c19858fa 194dccd5200a5a95b13920b12264136e93fedc7b 20b69fe2f07c50457a54d4496fa7349b6b333bb6 396358f2c4942fe2981816a0045ca21e5476e4ec 56d6c157741a9516372e3a953d3ab5f53edb810f 5fbc3e8cf8541b47c319d5b4b527faf5e5f45b21 8aa8ba08dcbdcdd77b3726c08ad822bca16dbd3e b55607c731d9d555e3d14fdae4834a3fe7b787a3 e7b9720019c12f1bbcea91d2b97f8ba2fa76ce3c ea1445aa5f70696841b4239ccc675b78daaf7e81 f5f4cf2ec25025347a63fbb030c589b0ee9ab6840ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 0277895c3651fed994efc86b055a3b7e184a45ce fb3a31a8ae97230a6f830adc2d8bfb21594966ca ee31945af302b6c76ef39e0b98cb5dbf5004719c d6ba50244ef0c7ade96c488c1bd74321bf86d6c61e4863378cdd170a88e4e886c0c15d30db151f1d