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 UU(% Ll II Stern_Brocot:threads=2elapsed=32.193cpu=52.244gc=3.448factor=1.627zXZִF! 7]ŗXf1-/6vR[]ׇvb1߁ݶc$ ^*X{Iҏ]t9}LĹ'ubڶIբ,GӦOz{WL3{ Q%ঝCwAHK$fR-{hncv ){e 2Lߧ~$ Uuuy0=ڧAVyآdpp^&^f)%\ Qg*se2"蜥k8ڤ)Kk$/fUuDb߹$JkbNb O>32.mA|)3ZCB߁ى#Nߒz_%OI 7uT7{YA>9t/H-1A; bFI=f}_OƘqHezȟ⹩(6ENrtrи([>#18EXI?E[h'=T& S}ةR ) ![x7wR R3yux0dڵGnMNĽ IKsw#8c,uj8eStrݼiӖDf-82 Cxúy~=9[r ݣK Wa^$+[4m=>L|ۓWRʏhz{OaN8E  )IEZfC&Qn`V O0USI4Do1#Os,үj%|;2sE~i=YF>.8?a\EԠ2OQQF䀬m-G2ѥ9aB,1g`s}>'V3KfAVj~IS8R˜ai o"1gYZ7zXZִF! S]ŗXi% ǃ혫_6눯[N ! djP-6!!JJ]ԥx)]x8h]`?lXG䪥eS8\<'c6b]5H\4 pH(F;?DJK)6!,>W6K#1D3V+4,g3\$~S,la7`60*esR^G2piGz=|w=|\zR?1D(eO~?W 0 _BraTM?[XJR%C7qR/Y&B2K :πf A^?HYfI#a4.!AUmi$L[c)en%hx)֖ƄC62©OAjW 'ePa(;A[Tu,VJlc ނF C$ӂCH~GtTΧ ;kY,`uYGjQM8٠ۍ<+!^{ȷ BuߗA㸉Bi#ڗM䃖LVf[$zmhCDg̮ǴȜ~Z΀x8'*@wi _ٌ¢J2/nB%r籢rR B)ӕa`ͧA*^mLQ&'a kJbl-}k1w}6t%z/^)%w Qmw6}pY’ #>WҐo5OEt|@kV-0?;ZԤcr]Vs`_Tz-HzOaX}{'*qOHhTRI]$H, K5l2Eu4wePV0'`h1zH-rl+AȾ,91K>XZvh%D~˶ѲOCLYB2le&Bm8M!\wefS2|r8gE\n#5ey a4'R^!X?(;M5nL~#up'!n=eL#A9kq nt"T>Iղʇ<>ዣFTCuYKurL K3OaNaqe H ֵin}y_Vm=]2?L>Pi4iž=8AN&Yf:^suB:WUˍӎX`up@ t?9^\LG+]jć W$8zGmQR~C 6 1>`l= iԹ!yƃ}Pn5!WWx([񩘅=  vWqj * P|ܔLeQek7q^v^B59=}Q6).]q,.Q/QG4hLkYұt0Zj*OT :cLc6&!? EFK4g΁xEGszd1O>Eof+P6rrȥ3'M&5^B]^u$B1CmSꕨWuu-Yl8?Ц4G8jXNJVzNzԺvgYZ1d674607b47b0e5fddbe94207659c2ad64bba092 9c3bcd73f5772e14e4e0ebdefe08fc56a83e9114 b048c4c894ba192ff4495d01de6dd39d08a420aa c2671cf74f5bf1923a33103584419cbedde498a3 cbcd70e2dff31dd7d23a91a5127d9ab3987ffe00 d419a2f7542de8b3837a1e8dc193b025a1b909b2 edb134994f175a0bc4e2c1336ad67621ac540f1d728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de 3e315ae02238ba29ff4dfa91456277ea298bcd5c 420661ceb8b00b46fccb091902e005a3c65de64b 02182b45aadb0d8356d66d9e1f182d1c5471b8af 3ce0ce907a4af6e4c9babc176392c51ce90bafbb b82501037d3ba8d7a36fb6adde405526285723ab % Stern_Brocot