SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info WW5 4 ? Rank_Nullity_Theorem:threads=2elapsed=22.827cpu=36.656gc=1.376factor=1.617zXZִF! 2 ]ŗXf1-q恈͐7ӺV /K!W8DNA'EU`5 %α; <zcDi|ߏv#Dchlf !TKI>-H/`)tXRz42;=ea۪H.B :3@ya% .ZI__91`LhrdjLP %c.  Rlԑ$kW)Q`nŬF>:_m~u8ze:pڤndP,R:TI=ݔL ͷq=3]?1sDRғzC  |(*HI?i` cs! ͳ2D頻A2|n.(C[RmIUdpM|/9Oq.tG哻a_bFI] ҃~0(v:/_, :a0Ր27^3`5㺲xZ݃a.~6²n 2ׁʼ_iQY8sn'󒥃7B<<[v^nIT0w+0`TF5PISC& 9op൒L3ϺȽNgo jTUX|akm.e3s[@j&YLaWN^)61Q)O+aAqJ 6QAmy Gt|%5<)8B|ObHt|3xd2|4NN03ƣ->}>(_4F-?m2X\q"XL_O}K$os,R1WN8oVDz 5nieub_-H1ƅ9 ZX5 #);c֙&iLP_T/ѯl~6{OEI~*I߶ڡXC7f0yBN1?ϴ#>7x ugYZ7zXZִF! w]ŗXi%HmwH(D(ד8Ӿ /??q_%،Iu$d -n(53+`lahͫՉliH}yCee'χ!-ayP-|3)5r˽g{)L ynTkƇ>j [݆ ['rܒ.*0XHy8[*f3>iBB•+0`A|a} Y GYCCYcFSg6{:b.JCvZ'i6ʭ#chV^K ixan<68߶l'TPOXPəwU='VG}%z6_<X E Zibd-o; $APjч4^#RL^S5ZG`!P.]m4a۠_>(n8,2> 39 sHzl[Ol@8$eʲcU|2jZzKI޸ZnوĪ<eudr~0&Veko(E)-@u^(ܾ?Ti .ZA9>+LhZT'w[}=~FQ #Φ3 &q?uTr1"r@fV㑵T#ȁ v @tTZKpp)JRf'X1[y1/,$U|d$mЁ5;XQRЧpsmqnW_үt#B `bPF*Sߦ1T,7zvIElɲ?Vs@dV`,ЉqoyHP64:HoR>Z\P>.<,9ذ*HH\KRSRpn0"~\Ϯju.oEf#u)'9z-XRw6Sv(Ȇa޾HȳXZL ?e3k8:b(ΘyEBa(`Z6Ɠ; 9~A;wV|UY D9REԡ.60Uh*!4Zx~f> ~vzq{u,d,Y?&WrS-,`6w܎+E>itE/(ڭw̠nI+Jתx2Ԥ;l}3]4YXvmKv(RP>cu !zl0#MpvEFӸ gR  3mKr~wVC;] "\6x_\bA?ڋVE^G+^#Jy?5o*:g=D~E>U},6M»6=(Ѫ2Ϩ("ֻg^*Gi(ctn13BW勭%s4ӳEEk"yE(R ±gYZ03db9191788ca871f87545107c977ae65775a377 0d5125aa9bf59ed986fa2447e2d3aee33bde4acb 21727d5993a47fe8f2d05c68c8806096b7fa301d 218171e56330376c51dbfeef1a7a4a46a15b7af7 358204b158ed33c88ae4c36c3a987ec80fc61c50 7c8676d952f39d885f79b6e02122320813d5dda2 8ebd2a5a70614ce4e9229427fb522b89f8c795be 9f9253ce446af6f5f273c5b2f233ccef33b018c2 e2199ecbb9787aab66ad128315a0c654e97e0a36 fe121be47f872aaa5c07fa25d7f90fd2ce53986e8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 42e138dd2055b0a1db4a1f3a058a8966ebf86487