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 Y) ,TT ] Landau_Symbols:threads=2elapsed=13.460cpu=25.456gc=1.352factor=1.897zXZִF! 7]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1HVs]}qj/F;cQT@ \F.j/K1 Uє;&_$ˇwc i$M4%xJWoWB4 3H xӕ1p}nU*tmY8; Ňȉ#ĭЯ=ƴOX.𮯎iЦe'kn0 CW.Q]:R[٥*kR9Tc [)( |f7jm BMݦ3U$̂&}Y9O PGyra 8 ABl& Y|U8LND)a\CmE`@"GRXͪZmG /#**(%Ihv5};$6ICfK2U<n)Q<.헇}gQgYZ7zXZִF! ]ŗXiɟc'od9m1 )py\n۬Z"EqAŕ?}| o2I`+s8oi+9jSj39*|4ceQw,r-kLW]Q/1 ņB|:tp6kʠ~XisK8<Jȝ )m8(,+A/s\/~ J 6WSdָE 2za,gYZ7zXZִF! RR]ŗXi%ή++1Βxvҳ+bM]e KG21d= 4 ːxxÇJ5HcǓ!V(PbN up AwxB$ɨD}H/PfF_T5V4x+񰯗msldA# bN4o\OЦX.2:Ťi];sG-L^σHz|٩P8+t.' //ͲEH/Q#]"KÀ0fEf9KV k|3ܞ1^ ;(5qDṇ#l62[.QbU` 64.1-rN?sU{p _AQD/E!cv#d,PWZ!bK6v ]ȃ?OR7cow&X/=/$oG6::K@뜇~xid{UR`vIppa\Z \^Ğ!z㽄 2Lp9/ 3R#3t%]-jåj߂VP!f"CHKY=_ Ԕ1A&g  $ /2T~圹d!06nl#1|̡!6+`j,Zb#QW35TDzZswy*8e eiV0ǹZݯbKZcg:u`b5*(%mq`?欬Tnw@6V.5mf$SDFttDZ)"?NMʩV0pʫh.gx-_Apz'4RX3"˻ Ӥz&,gYZ0aea82f04a40bb0803d446b881f2d5cf4908d9f300b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 90fdd132dc269b22477e61acedc69f01f576d41c ) Landau_Symbols