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 + \ ]]Landau_Analysis:threads=2elapsed=13.415cpu=25.744gc=1.404factor=1.927zXZִF! ]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1HVs]}qj/F;^@ \Ovv|I)X]PΪLA ܖˢ[pUt9*+aL*DݸL]U:TGf6GEx-p'Avx4;]܎?]%̛Mk%@ مrasEDKxEȉFʖMinݍN`0ap^fѺ:ͷ&G /EŔڊZeMj_v ً|g"C\nҍt)S9Ň!x UݳQ ݸ3ҵ~8ZjT̽)x)e? /ִAICv>B*i\Mge4[J|}Gc)Pv[{ ٱgYZ7zXZִF! ]ŗXiɟ1˦r!q=4!pƹ $7#){.INɨԠDB"9, Q- x NpFI+ 'U5! _;O 89N9ܷK<Kd:_@qyGr#:gO> , &[`Y{j ĂƭIs$nL7e(L`V`~P%K x]P27gYZ7zXZִF! ?o&]ŗXi%92?<KiU׎'O%ַ!YJfYjpcyhI!ArԡbXԪSbm%QLwliC5ZYH e7M`L$`sИq>K n8$hiC-"ev%_yu)1m,;l5of;T{\9O2E 2_\2(GŘHwӯC`0'Df#**hq6Hڭ8{Iv+S^fAaZXqe+*Rg?j8"nf9g1C2|ÅӤ}KY$.KQ^DBF +Ʉ fy!0k I`@n, {l$,5sqdĆcNXzk!/kj"BwΩs~{*r,sD,oOwBv4 M2P* RӎQlWd5[&Pq} Lh|a}5Tptx<3"fW\)bSBϦ"u,\/Lj+Ѯx bPfEXlv+k4ۭaXp!*#<,ʳ]ա=}<ysp9jsĻpHQڝi1O,cgQPeKd=34Z.* C qH/! Κ)mf>a)SODIVҧ8gD%i5jyMewYن\KVM;śٍ9>ɼWTjo 3+rVF+V#ޤi:Wc7]?^UҢ+:/MLw~UX$եD%qA^բV!q퓉ytjt1MO.S#{ev]zxl7LYI4\PD }t0_-=7Լ!*N3 .?,Ĭ9#"d#&rߑrժpS>ҝȱ33~^s wgYZ830cc41c544248b8f1caaca7f5ac13a184f59bcfbc695fdee8824a798a8d382701fae26c53fc4747 5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77 dd3b26eb68cac29493bf399898266d7430458d3041925010390a7ca39d5e8fdfbb3bd98b276f6b29 + Landau_Analysis