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}- |< S]Relation_Algebra:threads=2elapsed=26.334cpu=51.376gc=1.776factor=1.957zXZִF! 9 ]ŗXf1-/6vR[O9xFuIˍŁ]"*iFYځ_ci'1hʱ]ʛgq׆D0xQ"EqD v7'io@=FYJY=7Ԉ&+CxAYO14ApHw1z?g%b B}^Pl;SUDdɺI<8{ k=7\c8?4KEk+@uO»cY$q8,䳞L@JNR KQVѠ0r0تһ`(KjZ Ԫ`kXAWIe+0C%UcEzTf;5'*!ɓyl7JiE%Jf;yGH0 ZEN %66]GeףMʌ5$w qX9/<4]6MO.A 0 B|"여_3ҺRPu&Җߺ%]ϲ+ b!Euvc=X_UhԜ!KV;tE?pv|q/n! {e|+0 luC8trFYؚMJjn@#X\hi!,| ϪV`|ɞA !$7֯ūM_;ٜO#U MvHn$"fMJIj\gfDTbLY.IȦRGg0sFp ES,T@x# _6|JVć0뒓G`BK@LVF.Vy M;/IL'x%?0N-kZ&Kcg*$?.ڐ? u+ oJɤ{\|d3 ~u{2p׈IR"|Hp/g>F%{hIj.d\ mΖ7' (6=DZVQ]<xΟɹ!56m*4 NO.Bu6x1NNj" uoDo3tnT6 up0䲼nkm¦' - Relation_Algebraֱ%FU [^ByUO']zN@ozb|" qTˆq8l#?U2 LnbdpV`[9g8>gt-$g.:3FF ice#jHoy=  ga0dz')Bl$N#[E:R:KMx-Qd^h>i?)EE<όm?Pc+&T3dxM2ɤl,VZRibIfD ^u]MS9JoZ&*nWMa-M' MmUq(l dAdv0 g Z 1Ajn&.poOYA|ڼ: ڙnyh8[ү\Aj|snЃ2O 7(~_\&wlz"}v?f,ƫ*JCe1i,I9N!=o2ႃ^9Jb6$־ԿQ*|8 ];6ʺOJ9;򟖾qB'r(1~_cQ/ŗ V%“Q 'Wgrvf˽dt  gzjdXO0d0EpI3\\#f ,+ALti.8<;Qϗr\D5X?607 OQr;9Q#z_0A#nE@QK#3"O T _t q<0yȚٳ3VJz b\Hkm1E:_d@Xԝ$ @ 83rˡJZHmqܟu- H(]'3"/ @ 꿁-Km ҷ>_UHqSHY\/,M+>pm AqR )L/Fn˸+v) <͠j \?86#?CXd+ Z_zYR?U@CYT ҩ_vZ)/cRҒ<\J,? |a2P˶C[-9aO6o߽0GQHÄn0 kYr4*E?yeY0cjs˿h?Q79ڟTZV3L/(VaΊ! (լRa @R½S-EשƓ,vhVk2쀰ڭ< ,QgYZ7zXZִF! ]ŗXi%qcH^BSAmRCO0:7X{5]<#@4#MZetHь!I)h/Ax* )mWҾH!GoXbpA ~H脷ff i @\]\vHu{QCO54B(~*#< la {`Q;,cNa,y;9vz]R\L Z]ΩJZѬ4rfX b@G6hiܓǡcpD t8B+{W_}(zJS0Riiސ{ TL.Ȕf k| };1~E~E N BLFCK9ahW,|wRĻ[`Ss5 NQC#5iP ɂrfloz_ΰ8pJ8 b;uZ"lꗵc(% + 'xRdB[Ѓ!l?_1jm(E4ˣF};f%:z_sgkS $kWRĹQ7ȅM.B<c6O1 ?7ov[ nA(';UTa#Idym!DUg lp|>Tc{.\Mf*0ryi!P\gk!F؋G6]J2Z%GWn(TUq.v-6`PѝmCn\ 24qLPCA'1gJ3`*@{7W!4Boωlz{d.AJҤ9>3vι/RCK x$*Y|ާp",'%u K,<29(g.NCkF/_4w#DliJ\%dPjDuEFĈxǺhJ7}`edCM |N&9­ d|/]?%e Zu_JHOڨ<}-瀰ߤW]5otL)ҕw) \[]G؀MQҦy4Ёf)YT)\Gv<ɳ>R{˰Ds כzb gG^DH$kgىh0 ֛ƴkkj:z~5m5R+LmF zSsRȘnYB }4Sկ üQCf3C1Rq2~KLV7% (=0Pm J`17֖qN6~g< 3LNI-CgC'dQj NAx# =8$gxytan7%k[~0Խ] K䏱gYZ0855880e28b25bce23a0b382e846acc593b36267 0f086e7ce11590731d04415bf2ffad59b0fe1d20 38f4f889341e004ef96c3834add35375ebee7827 9e6bb46a997cfda638368ba2bab19f2cf63b764e b6cb0829cc7b7d74d66dd4a2e3b203d490ba53e3 ba2960b5a124c441ca56e5073b9f81fa76807dad bb0ae60a659faa69a8c367edca05d38dad1346b2 c8ea9a9a84b86a0d86a3876ac7167952558034c5 d81d8b286eee67f6a658f1e82237d21546efbe3f e1dc4bf60a9705e1fcb3ce5588fb107ab09748ee fd9cc54c27b597ae5b136f86c407036656d4fe7ec7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 5dba3e08078354582540bd7f069d8e3563770453 c0cf0bc549dffd98f25b2e242ab6383d9df08295c684a31ec1eb696e209c82e6de557c0a69986b3e