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 5 $d m% Rank_Nullity_Theorem:threads=2elapsed=21.000cpu=33.828gc=1.244factor=1.617zXZִF! 8 ]ŗXf1-/6vR[Nݢk|m-Ľl1|}p&&~p5z> |a];;rYv{H8> 5K%o L{+daAoXl%@9Dɰ&ƸZ 6>z}u` ]GUkGJOvE. ETSOGgYZ7zXZִF! p]ŗXi%6ב -s`QNɸxY~4|0ה0]"U+$9Q<^E=V5^B\QP7-hɊs[_HBʰ ^t?dN95T1pTt%-IXaԓ4<&>^'B^vO*D˸F(l&s:,([ʈa)})@o2&{V|+rӮ Ӥ:&v<(A\hBX\ ϙz3)A4%{ecafʀYf*Mh7w`~}Uӈ#_YD@EP/ O;\k-yW׼yͻ75 R}$s@NSжWAHK9u!!L\K W-60$"Oĝt72Drg nZD[Kh{+L'c(ħtD}{ZVAAz0bwDPLJHDmSU/8ijh`6y?jĪ 2@B^?vm6*u{.͜2)aaCဎ¦9qkW"bʦԝ/:o6P%UZq7x`t,x`>lb|/{ft#fD aUhЫG-x vY~LδY ޏ*=i^PB.g gEO1"aץO%⤁A)<"czd6> 8%' T]xJd݊oFpIJ.6 `{ Rqwx/{R>.r3u@LΔ|B MǷ%OȲUEy'Lor0w4{H$Re`el2EikXƇ {>cG*c;"{$蝗pefQ; 3^l؋ ˸F{<GUe6=/TƼ8cá,HSR0"8 u34=Np==Qmu!o+2bغ&I' 1=,)2)-φk5I3+k:12(H U#X9f}p'ԋ3!/㳇J$c)8{h{ڢQ4 ](C O?pv_E_Q-ֲ {ĭչO<O7ՌLC(YzQ|O70AD%I_\?}9YL<JK#qB=zu %&_RL4rZ ϾMAѦ{;@m%7- *Mź,YcngѷӝS}Meo^i3ZAv(v(N~jMd%'jT+Sk=^3-"σC0   =!@gYZ03db9191788ca871f87545107c977ae65775a377 140f8eff2ee08d44cc34066c974afcc8313b74e6 21727d5993a47fe8f2d05c68c8806096b7fa301d 218171e56330376c51dbfeef1a7a4a46a15b7af7 56b0231c3c9f5c66c305ee60c16f96f22d2a9b56 7a2dbf6293518994771947f62e4a1f96f1c21689 9f9253ce446af6f5f273c5b2f233ccef33b018c2 f5c7d3b543acf82a5f8cc5048d9f63f804f78158 f8babe7bf2c5735c2bce0cb5876af20982b1b978238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b c56ae9d5441b629f77cadaa07ce128a6fd02d228 eaf37427e14379c6b5bb0549a2d41983fecb41e3 662e2c93275b3f9c97faea279c1f2e9b30a29203 3a002d6a995019df178bd168faef100dc685caf7 5 Rank_Nullity_Theorem