SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 3+ \L ?%]Landau_Analysis:threads=2elapsed=14.326cpu=27.300gc=1.244factor=1.917zXZִF! e]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1$gw(pwrH?sSdg&;ͰbaMf7ϹWL(fAQ D6J!U ;V.yRi Q)lD\E\x_?tyآqìǣ + Landau_AnalysisX}[QS#pΫ2ATFyt#9NCRFrٟ }qAy0/&< 1j\qm4v+ѯ$iG\"dGGn* 39]/N/K'zMOk+g<@OҤ/Ѩ!Z/S*vA)`OU 4jWzhOL;Iu_Qu; "ǹ/PYkB5y,U{۹[Hu QRYkd&B6yefGA- %G)""XD,5>|_QS ̎HW_JI%)6 %A/J0kŐ4t3ޕ> BqJ,6`}O{iU3ӟ*>kG^~lU|ހPu= (7rB<O 9V"E*M]q";)E]Q\?rRvdb7oxm&hf ^D9mvB@q] !7fY |0}.R\0g T#bo&PJ8k?+[>\mk!I5ikuh':ΧAisb~xF^ÛIL0{zƠgd8x HXߓx-2 ؖRbunja \Vuשe LQP18B.H|5 a tFXNA(4ƪ~DnxM1BzF#: ]imZBh:mH%d6]2\My2V Օ<,V[J_.b~Pe!1Kf.u]lVpJCч/ 3OZY$W!I"k}ا[ _4@ECAz 4MAh#4?ovYP+ć,rse=;dLhȸf{DaNlx2|E6 Z@۳["?t`+:4%Ef34o 1{u0ꥂVPFu v;ZXN U' -*/{ϖ#G:708h'D!vh6}۲v۹gQ1y_%q2)m 'a*O^OcY#rӘ^[#SsL{K.qQP%gVͅs`gYZ7zXZִF! D']]ŗXi%e*ޕI|Ia>ӕ$U}[tݒnpM4-JN>QanFc- 9r9b m8{F!NB~.F~j(by<=} Sݓ׃\XAd(YnXmAg%maXйPT%Bv2DK.h`1VG T,}4p!kڄQA6tA7cLƀ3^J+vt v2`#J{|d`D-uʭ! fǷy0[?cv3:JA~vIaڽ%v6urI7ύB! /,OK΢s"2R) B a␥LJ Fwx5}7O w[:Jm9}j廔*ψҨ"A=OaN>L ~1ynqG"Ӆb|['⯉% PxDZSFX]&VshJm\okGɞcѶRZpGpy*mGzK+H2vJogL dž<$.ݲoYs~(Y9kf EPRPZيL\Vsӥ@~Yr]=:|͛!e-/qvk'˜T36 77|T4e}D Tk;Nnp +Fpd}@#!PdopST{*#u)l7eVl87ݼ ߀o!+%)'i*+ᴕ?^ZgYZ00397a27b716a17d9a023df60549d6646efe8e97 02b46a88fb3755427c4e37e0dfc37f84ec4a24d9 06836e075e09e46f8eb9eafafa5f472179d4079e 55ebdef92c7d5e4d5ffcfb0cbc0db21a00f70a38 5ae3843a3ed59ab2457ecff50bd3bef97837615b 5fd67474860cc00175ce6967175273e563c61549 6641f2c5a6c744ad1c12229e57034e74487a313b 73e1f44d85a4b0f6ee0af77aa4fa110d530d6de8 9fbf85621a8918beb09c70d7b7c07df90b39b8cd a43348d7fa591933cf69de88f108c0c10b2ac9ee80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c bb2bb54135ed42cbf9b16f494e9081c8660de074 d0588517c8f6cbe01daa7d05f7b6fd5a31064a65ce40a574e7f863c3c93eb865ad6e1dff930a9d4b