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 2- ,dD ]/ ZF-Constructible:threads=2elapsed=16.055cpu=30.248gc=5.412factor=1.887zXZִF! :]ŗXf1-W5"~ H:Fi{3g] U_ 1T44}ό^6FIjZ@uhug aͤ=^Wқ}ڻSj0!og0,weͥ>rjpYnF† y 6h6J؁3+} W;$/Zgu[D(1:OO70YT/QÓ_GpL@]VMwlŗ? Qz7Ո#kj~΀ \k5KmM-[)EuC`BR)Vx֍bwC34Gn|Y,-Ƚ0ܚG[3uD>u3/2|{q<%Ucc>(eD`&()g)W6fggYZ7zXZִF! j]ŗXiɟ95ZrY!Zg>3gAKrZaB p^cwpq![ YPt`AQ')6.?QV{"9$kGeZʌC(leTԞY}W`1dSmaF&II569&6):% = gYZ7zXZִF! ^Z]ŗXi%96xODj%tMG=9n o)>ZΘ^֥E6QM24>;~uϧWǖXvtCxXRXbڜSٶ2Sֻ{h.<Ưri98n@w7)YZW^)80Y*Z8PӺ30W&9+5M_kڇ)3**}0,JR<ښIF K;0'[& [G?r'ɵ$j3/;wPߴcL5ӭR^"$”n޳ LJ]!&5 w) .r*ZS䌇 }2+O{vcH~X”hIK)SpD7C~^PRgͮ3{,Pײ<⠸|MiJ} & ]|c@*eƮu> 0j'܈4tlSL[/j䦝rq5 L>l'w, _V*M&V;tB! S{irFm D=^VNEwkϡ< ziZQڃ\eמbg;MdxqmH[`E۵Po:ؓ{q Qk].'t&cĪkõ/Cq.vAptEغ934ث]3LFB+*5o~ 6,DXHJg̡Qtwd;3ysu"Tr^ ۹k": PI@@.u'(L'Ϗ?O+g|B/gv N?/-6yCer֧ 빺`lVRN03gE/c *fb|G$2β."3Y遞E΢ұzk%iˤnWyۚÉxStVc.;BlZQo"ηhp]|~Б,D^\}MbrQ1Cvi%b, Bku`*œ8'US`j h}@= k XʘHSZRk{IYh8B:#1dT5Gqz?'a:elN99@6bb !a73+GT[3!AC`wj#P?()vx mǕ6*~_Hk,^Nb-wxJpCU.bWka~X,p mjvjJ!}br dmUՖ s,4DgYZ0f44be2012ba5888fe5189da797832f02af93c11ccf9b9418e9c76b5688e2dd3ccca778f920a9297 13053502208935dc80ab22fd085456063638351f - ZF-Constructible