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 c5 t \ ] Rank_Nullity_Theorem:threads=2elapsed=20.842cpu=32.860gc=1.292factor=1.587zXZִF! 0]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?z ςRjk؍*MM| hb,z|(#Hs躂z3JRc_i'W}l_1Մ>QU{8 n8_v=TuٮY地iyV[YŔlPW~z=ZiRygL_]gO.U{rR2jq*ڇȫ}@}~OgU'RdɦCK̨Jr<7+M\~⩜#>rNwiL,A@1V,*`.2UnZ&QI \$~;wo(]W5/vh}~vշ\xv0KeJs1K 5by/6QLQuFW}fU%+Ku5 xRlG{}լt=a0SiHgYZ7zXZִF! ]ŗXiɟ1˦r!q=4!pƹ $7 Y{d5@K] 3%x&fH\ȱgYZ7zXZִF! n]ŗXi%9#qq3{􏀆 4@6wfE K9QSjcDZiA}ZXКſ Oś Bnh<U@~m V2ǭKC*[MVqlhgiL/EM~Mɜ yoy|f'$RքF= MM-ʙ|7ߦ[T`۲1s߹X+ ;ᬕ5w$GTZNp[s`D$[Dw4ES!VYC%$cdH!#y+T*@pPD|KEtK+@hG\;5 ށYO6 /k`w3 P HDCPݭ,rO?c'2昁i )@Ҁ 7|[;X#l_F,#E h<:_ p #_)6qK%A|0=]jpr A@s!uq/ɐ +t:`-),dR@ պ(,h{6{>)4uM g5?joP)jȏ'1TzCR3- Ujp6eg#l%-? ⰿhkHS撓@Rz ]rxJj1?H1f1ְw]BQT ~^ 7x|߬p XE\OLnL'[[9xsTCnj++W? AvoLmPS3N AA8f:U7 dt o4Y; ʬ+*LV{NZft1B0?A ͍ MEi@C67GvCcoD`P2?#XȩӖ [{B$i/$8Ao8P#&:)Nf ʑ{K) ÏKH}D~겍oRv=vXKp#U@JOCbH , p4B.G?{6ӚGc+ ß,>3^e>P05GcbKT *LE0R]jl7OHxs>sȟ}.+9z;/z_