SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 BB;5 |  ] Rank_Nullity_Theorem:threads=2elapsed=20.998cpu=32.664gc=1.332factor=1.567zXZִF! ]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?z:p1X)i%$#4#*>&vVِbŽo =UWb=/X4Ϥy3s }~!°m$֌ʃ)("0*,n}FX y&jHI2/b3? Ɵ E_"l=GC0vDbK"8u*&)e_ڇyғꕮ"UsVTyv`O㸹J~p dNrJi:+1ZU";m~k%ȽYއ뎎d?X?kP${V"dga7%t bBq[l5']@[֘NXү[Kow6?G`^ "513ХJI[^3Ȋ`ʝhX-wmQ\î(yuAqU$8 _ZR!VB\9Gw D%QV: BTua8 O(${] C?3  2׍$-|Lt{I{X= ;=\;¥Ĝ,H~lx] ^'gsTl{ޕW(3.ހ!E@|@emh9viNgYZ7zXZִF! u]ŗXi%9*]OZCݤ h@ dRV}dy-!AYgXTyj_S6N{)L㮒S T,β$H?``|,Lܐʔа!zie$ Nt(9"vN˰-yg?5+X r#OyVTR?^b{dU?^+L +&-*|&Q- a͉c Jq H o2PWUavJ0M355fro\6zPKnpD7%8Wu*}:p?Z<f*kT8~` z=zS*!tFVZnXN˰VNoӓd {-s;HO8?ƒ*?K'H B9T%H&2\5[<^Gpn]x@3\ *)xam u!Wuy]<^c5t0]w(XS,z;vڀx?Qx5P)B*3JqB+qZ<"f -UO%Vu`l1Sx`o:JUJ]|NuC`>G8_% mVG ^_I }'Z[Oj- $T78 щGD.\v>\a,cq]7t%)Z>=**RwW`ۏIHfAZϮr TvڣigC~FXERGgՎ6|5y]YS>C$nv5@DK*z""m *ױyE?GNm@w4eѫLԷ΄%W~-v?2iG/&תvI򅣍g0*px% '̅ YgYZ8b232cbd028fda372598ba50d5261f99b129213f325386da1460dc38f32089d1221024ec932a2181 06bff5eb73bee75606e14d28e9b646bebba8f569 6732d2329c2f5f6541671afa909060fb11f34da1 5 Rank_Nullity_Theorem