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  /t ]/ HOL-Proofs-Lambda:threads=6elapsed=120.187cpu=146.736gc=5.104factor=1.227zXZִF! ]ŗXf1-q恈ܗ4ޤ9ks}JspSm[ wy]{Ia?c@%oHo4i=۹ b# %j4~3i#hn 64tfmJVWo 2@,x"0M#n{-,T@߈J}qYLItX϶V3lRjpDG|竨AGv@!vwl ^%*m+O &6 kY=&Ec:!ϑZ0sgZ U!ndvXe?ݙK3B @@8 }Gd=i'ʼt\wJyٖEo*e;'5?wKn]ب/Z',>'Br[ OGW\p@y"PM!fEFг6uڱgYZ7zXZִF! 5]ŗXi%6sSpr׃چ7nT99Z^m@ȷثPW\i[}؎\w:Ҁ~ĠqOCѩTx x8s!VK[E:Sj?S"ivZxHѺ5f&.9yY#5WvzrpK2M-UNfZ+p*_7v)4eYWlb<) S^p#ΙMƛu̒sDÉCV8_Shq4ͻ<ԜM򞪣8:W.UcT/KDhZG*XǸ yP̶']!vpZ ! t2 6PU-GD3/7S-a!c(^Jeb#yהto[^g){/㕻Mܴ*Y9 }D qwDpM{@̝ % 7w F"@7uv׃F<&&P|F 6mR4*ӐU9O/AAI!WWy )1TQgX0#l}qvct+!@־. S̳),&x~dɩa")[;VҾ ?AԲ;nTw@^~$Q''C֥hϴ`i"i M? f"D5RW빂Tpw ;,ͼ}P6C`>0} vh(Ӕm(cl#ej)34ΣgԴ0`)S F>ћȩ9V{;6s8߼iy6w@w$8^o7,3@eF3xhT4j8x{C~uE / HOL-Proofs-LambdaŨs./5wzŵD;0 (u`-vMd2EKbHJ,w[zھ,}P#L|н4Y+1B]EĂ\L~րp%U#sюd/z0K~uevĴ$0T΀-zL( -K==NDj˃nwe_`Bº^Q{C]~XztN1cn1el)뇚YIKW7n6^}lrkfD+Ԇ0TswrS1y]u_a(awtp4t-h^̄#M1%z~(5;ˠ=чwL\EVPÂGs޶ԙ(;  >on/ŧym*AvB0_4P|egNt"|_T"N݇hoW2F:fv_r| }}F2[ek;nxFp~V><rGDVK)^>;i*$ਝhIJ\*eH0 |Uo`>O':hS,E ?e@L .D`7}QbR4F D0 Hp*u1Wgi[U:d`yمԪ{QZ8P7=0_[ɰ h+[K2 (*x's~\S^ps!E&8m FU/|r#(.cd@6*?E͆IoP@hעخBثY{=~gŹlmCfVJ_2Rv L0bqASd(9=4u'/tC/Nl'^X=ZZ-teAv /3.qCɅ2x7NU mwf8F.AR.GpZtt'eVgX^ ː]7GSŰKq[?Si+Ώׂʪ?lۤt-6P\TmAkRQuOp^֏YZˋ?{%][Z!Ԅ[ieU-3J[5KJQ0攓)ugLV%CU˺Oh3( >&zhtuZ4 j&+<+/J& ;'ںbBUXNZgv%7CP eīZn\ʗ 3gE9iJKaxFs5J m0 |u$-]$<w#eYSOͻ&g( ES)yL=}dIߜ\uCGT(" IE~udSk˞}-_ge aԁW5\8C ۂrVӜ k~>N!|6Ы7?T+SM#!Tm K?{ (S<|BZCh57b] wy/[hht#Et_LlX).'&Cb[I=]X c#ݞ)#&JD)C*b͎>2Jq~tMBIհ)0VN&N0:ZTу)eŢ.2w#̅DVDx Рm^ `!zW߁"Ԗ0Jw=Bcػ;X q]>?3ݩM_r) ;j!WyC3-Xr+|I+[:pN1!2V7;O:aXf~TT V9 F?QnVw9G'z6~GL=T+VE.Y>R?*Xz{,IC(( M5tq?/${FDĠY8Dً "(+t>z;5 ̭ke[ Q@HwM_%{iUM ɸ 0LN>nCS~ o+]DȮ>7s+afW⾶)ZrEBDe]Ȟi~^iحLXl3L)s**@6 y`